Theoretische Informatik

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

3
Einleitende Hinweise zur Parallelisierung, insbesondere zu Problemmustern und Algorithmen
Ich suche nach online verfügbaren Vorlesungsskripten oder anderen Ressourcen, die eine gute Einführung in die parallele Programmierung bieten, genau wie das parallele Analogon der Grundkurse in der Informatik. Mein Fokus liegt auf Folgendem: Während ich über Divide & Conquer, gierige Algorithmen, dynamische Programmierung und dergleichen sprechen kann, dh über grundlegende …
2
Wann tötet eine FO-Eigenschaft die NL-Härte ab?
Kontext: Wir betrachten nur Digraphen. Sei CYCLE die Sprache der Graphen mit einem Zyklus; Es ist ein NL-vollständiges Problem. Sei HASEDGE die Sprache von Graphen mit mindestens einer Kante. Dann ist trivialerweise CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}nicht mehr NL-hart, während CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} so bleibt. Tatsächliches Problem: Ich frage mich, ob die …
3
Rechenhärte von „echten“ Computerprogrammen
Ich habe oft gehört, dass man aufgrund des Satzes von Rice kein Programm schreiben kann, um Fehler in einem Webbrowser, einem Textverarbeitungsprogramm oder einem Betriebssystem zu erkennen: Jede semantische Eigenschaft für eine Turing-vollständige Sprache ist unentscheidbar. Ich bin mir jedoch nicht sicher, inwieweit dies für reale Programme wie Betriebssysteme gilt. …
3
Verfeinerungen der Paarnäherung für die Netzwerkanalyse
Bei der Betrachtung von Interaktionen in Netzwerken ist es normalerweise sehr schwierig, die Dynamik analytisch zu berechnen , und es werden Näherungen verwendet. Mittelfeldnäherungen ignorieren normalerweise die Netzwerkstruktur vollständig und sind daher selten eine gute Annäherung. Eine beliebte Näherung ist die Paarnäherung, bei der die Korrelationen zwischen benachbarten Knoten berücksichtigt …
2
Eine Variante von Critical SAT in DP
Eine Sprache gehört zur Klasse wenn es zwei Sprachen und so dassLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Ein kanonisches vollständiges Problem ist SAT-UNSAT: Ist es bei zwei 3-CNF-Ausdrücken, und , wahr, dass erfüllbar ist und nicht?DPDPDPFFFGGGFFFGGG Es ist auch bekannt, dass das kritische SAT-Problem vollständig ist: Ist …
1
Finden einer Schnittebene, die ein Polyeder gleichmäßig aufteilt
Angenommen, wir haben ein Polyeder in Standardform: Ax=bx≥0Ax=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Gibt es bekannte Methoden zum Auffinden einer Hyperebene , die das Polyeder so , dass die Anzahl der Eckpunkte auf jeder Seite der Hyperebene ungefähr gleich ist? (dh ein Algorithmus, der den …
2
Werden lineare Rückkopplungsschieberegister von Kryptologen generell entmutigt?
Katz und Lindell erwähnen in ihrem Buch, dass LFSR als Grundlage für Pseudozufallsgeneratoren schrecklich war, und befürworten, dass sie nicht mehr verwendet werden (nun, sie empfehlen auch, dass Leute Blockchiffren anstelle von Streamchiffren verwenden). Aber ich sehe zum Beispiel, dass einer der Chiffren im estream-Portfolio ( Grain , auf Hardware …
4
Umfragen zur Netzwerkcodierung
Ich möchte etwas über Network Coding lernen: http://en.wikipedia.org/wiki/Network_coding Kennen Sie eine gute Umfrage (z. B. aus IEEE-Umfragen und -Tutorials) zu den oben genannten Themen? Ich habe einige Universitätskurse bei Google gefunden, aber ich hätte gerne Empfehlungen von Leuten, die bereits eine gute Quelle gelesen haben und kennen. Danke Vasilis
1
Finden einer Übereinstimmung, deren Kontraktion die Anzahl der Bögen in einem Diagramm minimiert
Wenn ein gemischter Graph mit den Kanten und den Bögen , finden Sie in eine Übereinstimmung , die die Anzahl der Bögen in minimiert , wobei aus indem übereinstimmende Eckpunkte zusammengezogen und entfernt werden parallele Bögen.E A E G / M G / M G.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG Ist (die Entscheidungsversion von) dieses …
1
Reduzieren des Factorings von Hauptprodukten auf das Factoring von ganzzahligen Produkten (im Durchschnitt)
Meine Frage betrifft die Gleichwertigkeit der Sicherheit verschiedener Kandidaten-Einwegfunktionen, die auf der Grundlage der Härte des Factorings konstruiert werden können. Angenommen, das Problem von FAKTORIERUNG: [Wenn für zufällige Primzahlen , finde , ]N=PQN=PQN = PQP,Q&lt;2nP,Q&lt;2nP, Q < 2^nPPPQQQ kann nicht in Polynomzeit mit nicht zu vernachlässigender Wahrscheinlichkeit die Funktion gelöst …
7
Gibt es Pre-Doc-Positionen in TCS?
Gibt es Stellen für kürzlich abgeschlossene Bachelor- oder Masterstudenten mit Forschungsergebnissen, die vor ihrer Promotion als Forscher arbeiten können? TCS hat eine Kultur von Post-Doc-Positionen für Doktoranden, die vor dem Versuch, sich für eine Fakultätsstelle zu bewerben, forschen müssen. Gibt es einen ähnlichen Mechanismus für Bachelor- oder Masterstudenten, um vor …
1
Referenz für die Undefinierbarkeit des Kontinuitätsmoduls in PCF?
Kann mich jemand auf die Referenz für die Nichtdefinierbarkeit des in PCF funktionalen Kontinuitätsmoduls hinweisen? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer hat einen sehr schönen Blog-Beitrag geschrieben , in dem einige der Themen ausführlicher behandelt werden. Ich werde jedoch nur einen kleinen Teil seines Beitrags zusammenfassen, …
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.