Theoretische Informatik

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

4
Wie unterscheiden sich imperative Sprachen stärker voneinander als funktionale Sprachen?
Ich lese Simon Peyton Jones ' Die Implementierung funktionaler Programmiersprachen und es gibt eine Aussage, die mich ein wenig überrascht hat (auf Seite 39): Funktionale Sprachen sind in viel stärkerem Maße als imperative Sprachen syntaktische Variationen voneinander mit relativ wenigen semantischen Unterschieden. Nun, dies wurde 1987 geschrieben und meine Gedanken …
3
Formale Semantik von Programmiersprachen
Ich bin neu in der Theorie der Programmiersprachen und suche nach einer guten Ressource für die formale Semantik von Programmiersprachen. Speziell auf der Suche nach struktureller operativer Semantik. Ich habe einige Buchempfehlungen erhalten. Aber ich suche eine Ressource in einer einleitenden Ebene. Insbesondere Tutorials, Webseiten und kostenlose Buchempfehlungen sind willkommen.
3
Gibt es einen Konstanten-Faktor-Approximationsalgorithmus für das Farbproblem von 2D-Rechtecken?
Das Problem, das wir hier betrachten, ist die Erweiterung des bekannten Intervallfarbproblems. Anstelle von Intervallen betrachten wir Rechtecke mit achsenparallelen Seiten. Ziel ist es, die Rechtecke mit einer minimalen Anzahl von Farben so einzufärben, dass zwei überlappenden Rechtecken unterschiedliche Farben zugewiesen werden. Dieses Problem ist bekanntermaßen NP-hart. Xin Han, Kazuo …
2
Bedeckungszeit von gerichteten Graphen
Bei einer zufälligen Bewegung in einer Grafik ist die Bedeckungszeit das erste Mal (erwartete Anzahl von Schritten), dass jeder Scheitelpunkt von der Bewegung getroffen (bedeckt) wurde. Für verbundene ungerichtete Graphen ist bekannt, dass die Überdeckungszeit durch . Es gibt stark miteinander verbundene Digraphen mit einer Exponentialzeit in n . Ein …
3
Effiziente Logspace-Algorithmen
Es ist leicht zu erkennen, dass jedes Problem, das im deterministischen Lograum ( ) entscheidbar ist, höchstens zur Polynomzeit ( P ) auftritt . Viele bekannte logspace Algorithmen (zum Beispiel: ungerichteten st-Konnektivität, planar Graphisomorphie) laufen in O ( n k ) , wobei k irrsinnig groß ist.LLLPPPO ( nk)O(nk)O(n^k)kkk Ich …
4
Komplexität der Suche nach einer zweiten Lösung bei korrekter Lösung eines NP-vollständigen Problems
Ich möchte herausfinden, ob es allgemeine Ergebnisse oder Beispiele zur NP-Vollständigkeit des Problems gibt, eine zweite Lösung für ein NP-vollständiges Problem zu finden. Genauer gesagt interessieren mich Probleme in folgender Form: Gibt es bei einer gegebenen Lösung für eine Instanz I eines NP-vollständigen Problems eine Lösung S ' ≠ S …
1
Gradsätze für lineare Erweiterungsgraphen
Eine lineare Ausdehnung eines poset P ist eine lineare Ordnung auf die Elemente P , derart , daß x ≤ y in P bedeutet , x ≤ y in L für alle x , y ∈ P .LLLPP\mathcal{P}PP\mathcal{P}x ≤ yx≤yx \leq yPP\mathcal{P}x ≤ yx≤yx \leq yLLLx , y∈ Px,y∈Px,y\in\mathcal{P} Ein …
1
Die Struktur pathologischer Instanzen für Simplex-Algorithmen
Soweit ich weiß, haben alle bekannten deterministischen Pivot-Regeln für Simplex-Algorithmen bestimmte Eingaben, für die der Algorithmus exponentielle Zeit (oder zumindest kein Polynom) benötigt, um das Optimum zu finden. Nennen wir diese Instanzen "pathologisch", da der Simplex-Algorithmus normalerweise (dh bei den meisten Eingaben) schnell beendet wird. Ich erinnere mich aus meinem …
3
Formale Darstellung von Ringen in Berechnungen
Beim Lesen einer Abhandlung über die Verwendung algebraischer Methoden zur Erkennung einiger induzierter Teilgraphen scheint das Kantenideal ein wichtiges Werkzeug zu sein, das kommutative Algebra und Graphentheorie verbindet. Gibt es gute Referenzen oder Bücher zu diesem Thema, da ich mit Berechnungen algebraischer Objekte nicht vertraut bin? Besonderheit bei der Darstellung …
3
Zufällig oder nicht?
Diese Frage ist vom T-Shirt des Georgia Tech Algorithms and Randomness Center inspiriert, in dem die Frage gestellt wird: " Zufällig oder nicht ?!" Es gibt viele Beispiele, in denen Randomisierung hilfreich ist, insbesondere wenn Sie in einer widrigen Umgebung arbeiten. Es gibt auch einige Einstellungen, bei denen Randomisierung nicht …
5
Offene oder interaktive Einschränkungszufriedenheit
In der Vergangenheit habe ich Koordinationsmodelle implementiert, bei denen SAT und die reguläre Beschränkungszufriedenheit das zentrale Arbeitspferd in ihren Motoren waren. In diesem Arbeitsbereich möchte ich die Modelle interaktiver gestalten. Der beste Weg, dies zu tun, besteht darin, den Constraint-Solver so zu öffnen, dass er keine Black Box mehr ist. …
17 sat  lo.logic  csp 
5
Kann sich ein Computer als Teil einer simulierten Welt simulieren?
Angenommen, Sie bauen einen Computer, der den Zustand aller Atome im Universum zu einem bestimmten zukünftigen Zeitpunkt berechnet. Da das Universum per Definition alles ist, was existiert (und alles, was mit dem Rest interagiert), beinhaltet es auch den Computer, den Sie bauen. Können Sie mit Ihrem Computer den Zustand aller …
2
Härte der parametrierten CLIQUE?
Sei 0 ≤ p ≤ 10≤p≤10\le p\le 1 und betrachte das Entscheidungsproblem CLIQUE p Input: Ganzzahl s , Graph G mit t Eckpunkten und Kanten Frage: hat enthält eine Clique auf mindestens Vertices?pp_p sssGGGtttGs⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Eine Instanz von CLIQUE enthält einen Anteil aller möglichen …
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.