Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

3
Binärcode mit Einschränkung
Angenommen, ich habe ein Alphabet mit n Symbolen. Ich kann sie effizient mit codieren⌈log2n⌉⌈log2⁡n⌉\lceil \log_2n\rceil-bits Strings. Zum Beispiel, wenn n = 8: A: 0 0 0 B: 0 0 1 C: 0 1 0 D: 0 1 1 E: 1 0 0 F: 1 0 1 G: 1 1 0 …
1
Ist XOR-SAT NP-hart gewichtet?
Gegeben sind boolesche Variablen von denen jeweils positive Kosten und eine boolesche Funktion für diese in der Form ( bezeichnet XOR) mit , ganze Zahlen und für alle , , besteht das Problem darin, eine Zuordnung der Mindestkosten für , die erfülltnnnx1,…,xnx1,…,xnx_1,\ldots,x_nc1,…,cn∈Z&gt;0c1,…,cn∈Z&gt;0c_1,\ldots,c_n\in\mathbb{Z}_{>0}ffff(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x1,…,xn)=⋀i=1k⨁j=1lixrijf(x_1,\ldots,x_n)=\bigwedge_{i=1}^k\bigoplus_{j=1}^{l_i}x_{r_{ij}}⊕⊕\oplusk∈Z&gt;0k∈Z&gt;0k\in\mathbb{Z}_{>0}1≤li≤n1≤li≤n1\leq l_i\leq n1≤ri1&lt;⋯&lt;rili≤n1≤ri1&lt;⋯&lt;rili≤n1\leq r_{i1}<\cdots<r_{il_i}\leq ni=1,…,ki=1,…,ki=1,\ldots,kj=1,…,lij=1,…,lij=1,\ldots,l_ix1,…,xnx1,…,xnx_1,\ldots,x_nfff, wenn eine solche Zuordnung …
3
Standarddefinition der Turingmaschine
Ich habe zwei berühmte Bücher über "Automaten und formale Sprachtheorie" verfolgt: Micheal Sipsers Buch Jeffrey Ullman und John Hopcrofts Buch In beiden Büchern unterscheidet sich die Tupel-Level-Definition der Turing-Maschine voneinander. Obwohl die Arbeit auf abstrakter Ebene gleich ist, unterscheiden sich die Details. Warum gibt es keine Standarddefinition? Sogar einige andere …
3
Konstruktiver Beweis der Entscheidbarkeit einer endlichen Menge im Halting-Problem-Stil, die keine Tabellensuche verwendet
Ich versuchte , zu beweisen , dass die folgende rekursive Sprache ist: für , eine positive ganze Zahl: , woΣ={0,1}Σ={0,1}\Sigma=\{0,1\}kkkLk=HTM,ε∩ΣkLk=HTM,ε∩Σk L_k= H_{\mathrm{TM},\varepsilon}\cap \Sigma^k HTM,ε={⟨M⟩∣M is a TM that halts on an empty input}HTM,ε={⟨M⟩∣M is a TM that halts on an empty input}H_{\mathrm{TM},\varepsilon}=\{\langle M\rangle\mid M \text{ is a TM that halts …
2
Warum heißt es in einer Warteschlange mit Mindestpriorität (Heap-basiert) "Verkleinerungsschlüssel" und nicht nur "Set-Schlüssel"?
Wenn Sie in einer Warteschlange mit Mindestpriorität den Verkleinerungsschlüssel aufrufen, legen Sie im Grunde den Schlüssel fest. Sie können versehentlich einen höheren Schlüssel eingeben, oder? Warum heißt es nicht "Set-Key" oder "Update-Key"? Warum (laut Wikipedia und anderen Quellen) hat eine Warteschlange mit minimaler Priorität "Schlüssel verringern" und eine Warteschlange mit …
1
Ist der Verschluss von P unter e-freien Homomorphismen gleich NP?
Die kontextfreien Sprachen können als Abschluss der Dyck-Sprache unter den Kegeloperationen erhalten werden . Die Dyck-Sprache ist eine deterministische kontextfreie Sprache, und die Kegeloperationen entsprechen den Operationen, die von nichtdeterministischen Finite-State-Wandlern implementiert werden können. Dieses Ergebnis wird weniger überraschend, wenn man bedenkt , dass nicht deterministische transduktor liefern können Zertifikate …
1
Gibt es ein veröffentlichtes Papier über automatisierte Planungssoftware, die in der ESA Rosetta-Mission verwendet wird?
Das Raumschiff Rosetta hat im August 2014 einen Kometen erreicht und einen Lander auf seine Oberfläche geschickt. Es war eine der größten wissenschaftlichen Nachrichten des Jahres. Automatisierte Planungs- und Planungstechniken sind für den Betrieb solcher Missionen sehr wichtig. Beim letzten ICAPS gab es sogar einen eingeladenen Vortrag von einem der …
1
Kleinste Klasse von Automatenmodellen, deren entsprechende Sprachklasse CFL enthält und gegen (Dis-) Zulassen von Nichtdeterminismus im Modell geschlossen ist
Aus einem Kommentar ging eine interessante Frage hervor. Die Klasse der CFLs (die von PDAs anerkannten Sprachen) ist offensichtlich nicht unter Nichtdeterminismus geschlossen - was ich damit meine, ist, dass deterministische PDAs nicht gleichwertig mit nichtdeterministischen PDAs sind. Alle CFLs sind jedoch entscheidbar, und in diesem Fall entspricht jedes deterministische …
1
Bedeutet Standorttransparenz Zugangstransparenz?
In der Theorie verteilter Systeme habe ich die Definition gefunden, dass ein verteiltes System unter anderem Standort- und Zugriffstransparenz erfordert. Ich habe mich gefragt, ob die Standorttransparenz nicht bereits die Zugriffstransparenz umfasst. Wikipedia definiert die beiden wie folgt: Zugriffstransparenz - Unabhängig davon, wie der Ressourcenzugriff und die Darstellung auf jeder …
5
Beziehung zwischen formalem System und formalen Sprachen
In einem Informatikkurs ist es üblich, die Hierarchie formaler Sprachen, Grammatiken, Automaten und Turing-Maschinen zu studieren. Ich frage mich, in welcher Beziehung diese Objekte zu formalen Systemen stehen. Zum Beispiel soll Lambda-Kalkül ein formales System sein. Würde seine Grammatik auch als formales System betrachtet werden?
2
Formalisierung der grundlegenden Kategorietheorie in Coq
Ich bin ein absoluter Anfänger in Coq und ich versuche, einige kategorietheoretische Dinge als Übung zu implementieren. Ich habe ein wenig unter den Git-Repos der vielen verfügbaren Implementierungen (HoTT, Awodeys Coq-Begleiter usw.) gesurft. Es scheint, dass jedes einzelne Projekt so etwas implementiert Record Category : Type := mkCategory{ ob : …
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.