Theoretische Informatik

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

11
Modelle von Zufallsgraphen für echte Computernetzwerke
Ich interessiere mich für Modelle von Zufallsgraphen, die den Graphen realer Computernetzwerke ähnlich sind. Ich bin nicht sicher, ob das allgemein gut untersuchte -Modell ( n Eckpunkte, jede mögliche Kante wird mit der Wahrscheinlichkeit p ausgewählt ) für die Untersuchung realer Computernetzwerke geeignet ist (oder?).G(n,p)G(n,p)G(n,p)nnnppp Welche Modelle von Zufallsgraphen sind …
1
Auswahl eines Forschungsthemas mit Hilfe der Spieltheorie
Diese aktuelle Frage zur Spieltheorie hat mich zum Nachdenken gebracht (das ist natürlich eine Tangente): Ist es möglich, eine persönliche Strategie zur Auswahl von Forschungsfragen für die Verwendung der Spieltheorie effizient zu optimieren? Um zu einer Formalisierung der Frage zu gelangen, gehe ich von folgenden (informell formulierten) Annahmen aus: Ich …
2
Aufrechterhaltung eines ausgeglichenen Spanning Tree eines wachsenden ungerichteten Graphen
Ich suche nach Möglichkeiten, um einen relativ ausgeglichenen Spanning Tree eines Diagramms beizubehalten, indem ich dem Diagramm neue Knoten / Kanten hinzufüge. Ich habe einen ungerichteten Graphen, der als einzelner Knoten, der "Wurzel", beginnt. Bei jedem Schritt füge ich dem Diagramm entweder einen neuen Knoten und eine Kante hinzu, die …
5
(False?) Beweis für Berechenbarkeit einer Funktion?
Betrachten , eine Funktion , die 1 zurückkehrt iff Nullen erscheinen nacheinander in . Jetzt gab mir jemand einen Beweis, dass berechenbar ist:n π f ( n )f( n )f(n)f(n)nnnππ\pif( n )f(n)f(n) Entweder für alle n, erscheint in , oder es ist am st erscheint in und nicht. Für die …
4
Wo fallen die meisten REGEX Implementierungen von der Komplexität Skala?
Die meisten modernen Implementierungen von regulären Ausdrücken, wie die in Perl oder .NET, gehen mit Funktionen wie Lookahead und Lookbehind über die klassische computerwissenschaftliche Definition von REGEXes hinaus. Lassen diese Funktionen Anweisungen analysieren, die mit einem endlichen Nicht-Pushdown-Automaten nicht beschrieben werden können? Wie viel näher an Turing abgeschlossen wird dies …
1
Einzigartige Spiele visualisieren
Wie würden Sie ein Bild entwerfen die einzigartige Spiele Vermutung zu veranschaulichen? Dies ist für eine „Aktuelle Ereignisse“ Präsentation auf einzigartige Spielen auf der nächsten AMS Gemeinsame Sitzung und für die Broschüre, die produziert werden. Beispiel für die Art von Abbildungen in der Vergangenheit hergestellt ist http://www.ams.org/meetings/lectures/current-events-bulletin Wenn Sie auf …
2
Interne Regret in Online Convex Optimization
Zinkevichs "Online-Konvexoptimierung" ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) verallgemeinert die Lernalgorithmen zur "Minimierung des Bedauerns" von einer linearen Einstellung auf eine konvexe Einstellung und gibt eine gute "externe Bedauern" . Gibt es eine ähnliche Verallgemeinerung für internes Bedauern? (Ich bin mir nicht ganz sicher, was genau das bedeuten würde.)
22
Welche Algorithmen werden in der Praxis am häufigsten verwendet?
Verschlossen . Diese Frage und ihre Antworten sind gesperrt, da die Frage nicht zum Thema gehört, aber von historischer Bedeutung ist. Derzeit werden keine neuen Antworten oder Interaktionen akzeptiert. Welche Algorithmen werden am häufigsten verwendet? Bitte schreiben Sie einen Algorithmus pro Antwort und versuchen Sie, Ihre Antwort kurz zu halten …
4
Wie werden Nebenwirkungen in der Semantik behandelt?
In Anthony Aabys Abschnitt "Einführung in Programmiersprachen" über Semantik macht er folgende Bemerkung: Ein Großteil der Arbeit in der Semantik von Programmiersprachen ist durch die Probleme motiviert, die beim Versuch auftreten, imperative Programme zu konstruieren und zu verstehen - Programme mit Zuweisungsbefehlen. Da der Zuweisungsbefehl den Variablen Werte neu zuordnet, …
2
Gibt es einen nicht deterministischen linearen Zeitalgorithmus für CNF-SAT?
Das Entscheidungsproblem CNF-SAT kann wie folgt beschrieben werden: Eingabe: Eine Boolesche Formel ϕϕ\phi in konjunktiver Normalform. Frage: Gibt es eine Variablenzuordnung, die erfüllt ϕϕ\phi? Ich überlege mir verschiedene Ansätze, um CNF-SAT mit einer nicht deterministischen Zwei-Band-Turing-Maschine zu lösen . Ich glaube, dass es ein NTM gibt, das CNF-SAT in n⋅poly(log(n))n⋅poly(log⁡(n))n …
2
Ein intuitiver / informeller Beweis für LP Duality?
Was wäre ein guter informeller / intuitiver Beweis, um die LP-Dualität auf den Punkt zu bringen? Wie lässt sich am besten zeigen, dass die minimierte Zielfunktion tatsächlich das Minimum ist, wenn man die Schranke auf intuitive Weise versteht? Die Art und Weise, wie mir Dualität beigebracht wurde, führte nur zu …
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.