Theoretische Informatik

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

5
Rechtecke in konvexe Polygone packen, aber ohne Rotationen
Ich interessiere mich für das Problem, identische Kopien von (zweidimensionalen) Rechtecken in ein konvexes (zweidimensionales) Polygon ohne Überlappungen zu packen. In meinem Problem dürfen Sie die Rechtecke nicht drehen und können davon ausgehen, dass sie parallel zu den Achsen ausgerichtet sind. Sie erhalten nur die Abmessungen eines Rechtecks ​​und die …
1
Cliquewidth von fast Cographs
(Ich habe diese Frage vor zwei Wochen bei MathOverflow gepostet , aber bisher ohne strenge Antwort.) Ich habe eine Frage zu Graphenbreitenmaßen ungerichteter einfacher Graphen. Es ist bekannt, dass cographs (Graphen, die durch Operationen der disjunkten Vereinigung und Komplementierung ausgehend von isolierten Scheitelpunkten erstellt werden können) eine Cliquebreite von höchstens …
16
Mit welchen Tools halten Sie Präsentationen?
Ich habe mich gefragt, welche Tools die Leute auf diesem Gebiet (theoretische Informatik) verwenden, um Präsentationen zu erstellen. Da ein Großteil der Informatik nicht nur Artikel schreibt, sondern auch Präsentationen hält, dachte ich, dass dies eine wichtige weiche Frage sein würde. Dies ist inspiriert von der vorherigen Frage, mit welchen …
6
Diagrammfamilien mit polynomiellen Zeitalgorithmen zur Berechnung der chromatischen Zahl
Beitrag aktualisiert am 31. August : Ich habe eine Zusammenfassung der aktuellen Antworten unterhalb der ursprünglichen Frage hinzugefügt. Danke für all die interessanten Antworten! Natürlich kann jeder weiterhin neue Erkenntnisse veröffentlichen. Für welche Graphenfamilien gibt es einen polynomiellen Zeitalgorithmus zur Berechnung der chromatischen Zahl ?χ ( G )χ(G)\chi(G) Das Problem …
2
Testen Sie, ob Buchstaben so geplant werden können, dass ein Wort in einer normalen Sprache gefunden wird
Ich fixiere eine reguläre Sprache LLL auf einem Alphabet ΣΣ\Sigma und betrachte das folgende Problem, das ich als Briefplanung für LLL . Informell gibt die Eingabe mir nnn Buchstaben und ein Intervall für jeden Buchstaben (dh eine minimale und maximale Position), und mein Ziel ist es, jeden Buchstaben in seinem …
4
Welche Beweise gibt es dafür, dass der Graphisomorphismus nicht in
Motiviert durch Fortnows Kommentar in meinem Beitrag, den Beweis, dass das Graphisomorphismus- Problem nicht vollständig istNPNPNP , und durch die Tatsache, dass ein Hauptkandidat für Zwischenprobleme ist (weder vollständig noch für ), interessiere ich mich für bekannte Beweise dass nicht in .GIGIGINPNPNPNPNPNPPPPGIGIGIPPP Ein solcher Beweis ist die Vollständigkeit eines eingeschränkten …
2
Sind Schaltketten zweifarbig?
Für A⊂[n]A⊂[n]A\subset [n] bezeichnen , indem aiaia_i die ithithi^{th} kleinstes Element AAA . Für zwei kkk Elementmengen A,B⊂[n]A,B⊂[n]A,B\subset [n] sagen wir, dass A≤BA≤BA\le B wenn ai≤biai≤bia_i\le b_i für jedes iii . A kkk -Einheitliche Hypergraphen H⊂[n]H⊂[n]{\mathcal H}\subset [n] ist eine sogenannte shift-Kette , wenn für irgendwelche Hyperkanten, A,B∈HA,B∈HA, B \in …
2
Gibt es schwierige Fälle von 3-SAT, in denen in den Klauseln nur Literale verwendet werden können, die sich "in der Nähe" befinden?
Sei die Variable x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_n . Der Abstand zwischen zwei Variablen ist definiert als d(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b|. Der Abstand zwischen zwei Literalen ist der Abstand zwischen den entsprechenden beiden Variablen. Angenommen , ich habe eine 3-SAT - Instanz , so dass für jede …
22 np-hardness  sat 
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.