Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Wie nah sind gängige Programmiersprachen daran, Turing nicht vollständig zu sein?
Der Begriff "Vollständigkeit" wurde in mehreren von mir belegten Informatikkursen erörtert. Ich habe jedoch nie ein intuitives Gefühl dafür bekommen, was die Vollständigkeit von Turing tatsächlich erfordert. Ich habe diese Frage gefunden, aber die Antworten sind etwas mathematischer als das, wonach ich suche. Nehmen Sie eine gängige Programmiersprache wie C …
3
Wie kann die Leistung eines genetischen Algorithmus experimentell analysiert werden?
Ich habe einen genetischen Algorithmus für ein Optimierungsproblem. Ich habe die Laufzeit des Algorithmus in mehreren Läufen mit derselben Eingabe und denselben Parametern (Populationsgröße, Generationsgröße, Crossover, Mutation) aufgezeichnet. Die Ausführungszeit ändert sich zwischen den Ausführungen. Ist das normal? Ich habe auch festgestellt, dass die Laufzeit entgegen meiner Erwartung manchmal abnimmt, …
1
Maxima der Diagonalen in einer spalten- und zeilenweise sortierten Matrix
Lassen {ai}{ai}\{a_i\} und {bi}{bi}\{b_i\} nicht abnehmende Folgen nicht negativer Ganzzahlen sein. Wie schnell kann man finden cj=max0≤i&lt;j{ai+bj−i−1}cj=max0≤i&lt;j{ai+bj−i−1}c_j=\max_{0 \leq i< j}\{a_i+b_{j-i-1}\} für alle ?0≤j≤n−10≤j≤n−10\leq j\leq n-1 Naiv dauert es Zeit, aber ich hoffe, dass Monotonie hier helfen kann.O(n2)O(n2)O(n^2) Es ist leicht zu beobachten, dass ebenfalls nicht abnimmt. Wenn wir die Matrix …
1
Zeitliche Komplexität regulärer Sprachen
Ich frage mich, wie ich beweisen kann, dass L regulär sein muss, wenn eine Sprache L in o (nlog (n)) entscheidbar ist. Ich sollte wahrscheinlich erwähnen, dass mit "entscheidbar" meine ich "mit einer deterministischen Einzelband-Turingmaschine entscheidbar sein". Danke und Grüße Guillermo
2
Microsoft Singularity: Warum geschlossen [geschlossen]
Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Informatik Stapel Börse. Geschlossen vor 6 Jahren . Ich spreche von diesem einen Forschungsprojekt : Aber MS hat es 2008 geschlossen. Ich …
2
3-SAT, wobei Variablen als positives und als negatives Literal gleich oft vorkommen
Sei eine 3-CNF-Formel über die Variablen . Jede Variable , , kommt in gleich oft als positives Literal und als negatives Literal vor .ϕϕ\phix1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_nxixix_ii∈[n]i∈[n]i \in [n]ϕϕ\phi Ist es NP-vollständig, über die Erfüllbarkeit einer solchen Formel zu entscheiden? Vorausgesetzt, es ist, würde mich interessieren, ob es einen speziellen Namen hat. Wurde …
2
Reduktionsbeispiele aus dem stark NPC-Problem 3-PARTITION
3-PARTITION ist stark NP-vollständig , dh es bleibt NP-vollständig, selbst wenn die Eingabe unär ist . Ich suche zwei oder drei Beispiele für (möglicherweise bekannte) nicht numerische Probleme , die sich mit einer Reduktion von 3-PARTITION als NP-vollständig erwiesen haben (und die Reduktion beruht offensichtlich auf der starken np-Vollständigkeit). Ich …
1
Ist die Syntax der C-Sprache vollständig durch CFGs definiert?
Ich denke, die Frage ist autark. Ist die Syntax der C-Sprache vollständig durch kontextfreie Grammatiken definiert, oder haben wir Sprachkonstrukte, für die im Verlauf des Parsens möglicherweise nicht kontextfreie Definitionen erforderlich sind? Ein Beispiel für ein Nicht-CFL-Konstrukt, das ich dachte, war die Deklaration von Variablen vor ihrer Verwendung. In Compilern …
1
Komplexität des monotonen (+, 2) SAT-Problems?
Um diesen Beitrag fortzusetzen , definieren wir das monotone -SAT-Problem:(+,2−)(+,2−)(+, 2^-) Gegeben eine monotone CNF-Formel , bei der jede Variable genau einmal erscheint (als positives Literal), und eine monotone 2-CNF-Formel definiert für dieselben Variablen wie , wobei alle Variablen negiert werden. Ist erfüllbar?F+F+F^+F−2F2−F_2^-F+F+F^+F+∧F−2F+∧F2- -F^+ \land F_2^- Ist dieses Problem NP-vollständig?
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.