Theoretische Informatik

8
Mindestgrad des „Baumgraphen“

Definieren Sie bei einem gegebenen Diagramm den Baumgraphen T ( G ) als einen Graphen, dessen Eckpunkte die Spannbäume von G sind , und es gibt eine Kante zwischen zwei Bäumen, wenn einer durch Ersetzen einer einzelnen Kante vom anderen erhalten werden kann. Das heißt, es gibt eine Kante ( T 1 , T...

8
Hilfe bei folgendem kombinatorischen Problem?

Ich habe Bitvektoren, von denen jeder aus Bits besteht. Bezeichnen wir mit das te Bit des ten Vektors . Jeder Bitvektor unterliegt den folgenden 2 Einschränkungen:mmmmmmvi[j]vi[j]v_i[j]jjjiiii,j∈[1,m]i,j∈[1,m]i,j \in [1, m]viviv_i vi[j]=0 ∀j≥ivi[j]=0 ∀j≥iv_i[j] = 0\ \forall j \geq i ....

8
Welchen Vorteil hat Heapsort gegenüber Smoothsort?

Wikipedia gibt an, dass die Vorteile von Smoothsort gegenüber Heapsort darin bestehen, dass es manchmal näher an der O (n) -Zeit liegt . Jetzt habe ich mich gefragt, welchen Vorteil Heapsort gegenüber Smoothsort hat. Oder um diese Frage neu zu formulieren: Ist Smoothsort immer eine bessere Wahl als...

8
Digital Steganographie, die Widerstand neu codiert

Ich bin gespannt, ob es Papiere gibt, die sich mit der Fähigkeit steganografisch veränderter Bilddaten befassen, ihre Integrität zu bewahren, nachdem sie in ein anderes Format (z. B. von PNG zu JPEG) umcodiert wurden. Ist dies ein inhärentes Merkmal guter Steganographie-Implementierungen oder ist...

8
Überwachung von Doktorandenstellen in TCS

Gibt es andere Möglichkeiten, sich über neue Doktorandenstellen in TCS zu informieren, als nur über die Websites von Universitäten / Forschungsgruppen zu schauen? Vielleicht können Leute aus verschiedenen Branchen (Typentheorie, Verifikation, Komplexität usw.) einige spezielle Mailinglisten nennen,...

8
Gibt es irgendwelche Arbeiten zur Entwicklung der Differenzrechnung von Turingmaschinen (oder einfacheren formalen Sprachen)?

Ich versuche, einige Begriffe einer Differenzrechnung zwischen einer von einem Entwickler konzipierten fiktiven Ideal Turing-Maschine (z. B. was auch immer von einem Softwareentwickler beabsichtigt ist), und den Maschinen zu entwickeln, die die Software darstellen, die tatsächlich entworfen wird,...

8
Die Roll Problem

Edit: Ich denke, der Geist der Frage war gut, aber es muss verbessert werden. Die für den Münzwurf getroffenen Annahmen machten diese Frage trivial, und der Würfelwurf ist immer noch nicht genau genug definiert. Was sind vernünftige Annahmen, die wir über einen Würfelwurf machen können, die die...

8
Max-Cut der kleinen geschlossenen Familie

Es ist bekannt, dass planare Graphen aus einer geschlossenen Familie mit verbotenen Minderjährigen , Graphen mit begrenzter Baumbreite auch Graphen geschlossener Familien ohne H k als Nebenwert sind .K3,3,K5K3,3,K5K_{3,3}, K_{5}HkHkH_{k} Ich gehe davon aus, dass Diagramme mit begrenztem...