Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

2
Was sind die Grenzen der gesamten funktionalen Programmierung?
Was sind die Einschränkungen der gesamten funktionalen Programmierung? Es ist nicht vollständig für Turing, unterstützt jedoch eine große Teilmenge der möglichen Programme. Gibt es wichtige Konstrukte, die Sie in einer Turing-vollständigen Sprache schreiben könnten, aber nicht in einer vollständigen funktionalen Sprache? Und ist es richtig zu sagen, dass Programme, die …
3
Komplexität bei der Entscheidung, ob eine Matrix völlig regelmäßig ist
Eine Matrix heißt total regular, wenn alle ihre quadratischen Submatrizen den vollen Rang haben. Solche Matrizen wurden verwendet, um Superkonzentratoren zu konstruieren. Wie komplex ist es, zu entscheiden, ob eine gegebene Matrix über die Rationen hinweg völlig regelmäßig ist? Über endliche Felder? Allgemeiner gesagt , nenne eine Matrix völlig regulär, …
2
Linear unabhängige Fourier-Koeffizienten
Eine grundlegende Eigenschaft von Vektorräumen ist, dass ein Vektorraum der Dimension durch linear unabhängige lineare Nebenbedingungen charakterisiert werden kann - das heißt, es gibt linear unabhängige Vektoren , die zu orthogonal sind .V⊆Fn2V⊆F2nV \subseteq \mathbb{F}_2^nn−dn−dn-dddddddw1,…,wd∈Fn2w1,…,wd∈F2nw_1, \ldots, w_d \in \mathbb{F}_2^nVVV Aus einer Fourier Sicht ist dies äquivalent zu der Aussage , …
1
Löst man Gleichungssysteme modulo
Ich interessiere mich für die Komplexität der Lösung linearer Gleichungen modulo k für willkürliches k (und mit besonderem Interesse für Primkräfte), insbesondere: Problem. Gibt es für ein gegebenes System von linearen Gleichungen in n Unbekannten modulo k irgendwelche Lösungen?mmmnnnkkk In der Zusammenfassung zu ihrer Arbeit Struktur und Bedeutung von logspace-MOD-Klassen …
2
Axiome für kürzeste Wege
Angenommen, wir haben einen ungerichteten gewichteten Graphen (mit nicht negativen Gewichten). Nehmen wir an, dass alle kürzesten Pfade in eindeutig sind. Angenommen, wir haben diese \ binom {n} {2} -Pfade (Folgen ungewichteter Kanten), kennen aber G selbst nicht. Können wir irgendein G erzeugen , das diese Pfade als die kürzesten …
2
Berechnung der Cheeger-Konstante: Für welche Klassen machbar?
Die Berechnung der Cheeger-Konstante eines Graphen , auch als isoperimetrische Konstante bekannt (da es sich im Wesentlichen um ein Mindestverhältnis von Fläche zu Volumen handelt), ist bekanntermaßen NP-vollständig. Im Allgemeinen ist es angenähert. Ich bin daran interessiert zu erfahren, ob genaue Polynomalgorithmen für spezielle Klassen von Graphen bekannt sind. Ist …
3
Ist das Konzept der Turingmaschine von Automaten abgeleitet?
Ich hatte erst kürzlich eine Diskussion über Turingmaschinen, als ich gefragt wurde: "Ist die Turingmaschine von Automaten abgeleitet, oder ist es umgekehrt?" Ich wusste die Antwort natürlich nicht, aber ich bin neugierig, es herauszufinden. Die Turing-Maschine ist im Grunde eine etwas ausgefeiltere Version eines Push-Down-Automaten. Ich würde davon ausgehen, dass …
1
Zusammenführen von Listen fragiler Objekte
Hintergrund: Chao Xu hat vor einiger Zeit die folgende Frage gestellt: " Gibt es bekannte Vergleichs-Sortieralgorithmen, die sich nicht auf das Sortieren von Netzwerken reduzieren lassen, sodass jedes Element -mal verglichen wird ?O(logn)O(log⁡n)O(\log n) ". Es scheint, dass wir ein bisschen mit dem Problem stecken; Ich habe das gleiche Problem …
2
Minimale nicht erfüllbare 3-CNF-Formeln
Ich bin derzeit daran interessiert, 3-CNF-Formeln zu erhalten (oder zu konstruieren) und zu studieren, die nicht befriedigend sind und eine minimale Größe haben. Das heißt, sie müssen aus möglichst wenigen Klauseln (vorzugsweise m = 8) und möglichst wenigen unterschiedlichen Variablen (n = 4 oder mehr) bestehen, so dass das Entfernen …
5
Wo finden Sie Stellenangebote für Fakultätsstellen in der CS-Theorie?
Was sind die besten Ressourcen, um Stellenangebote für Fakultätsstellen in der CS-Theorie zu finden? Gibt es eine Website oder eine Mailingliste, die ziemlich umfassend ist? Ich habe derzeit den Eindruck, dass man eine Vielzahl von Ressourcen einsetzen muss, um eine umfassende, weltweite Liste von Stellenangeboten zu erhalten. Ist das der …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.