Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Folge einer Zeichenfolge, aber nicht von anderen
Lassen ΣΣ\Sigma sei ein Alphabet und lass x+,x−1,…,x−n∈Σ∗x+,x1−,…,xn−∈Σ∗x^+,x^-_1,\dots,x^-_n \in \Sigma^*Zeichenfolgen über diesem Alphabet sein. Rufen Sie eine Zeichenfolge aufs∈Σ∗s∈Σ∗s \in \Sigma^* gut wennsss ist eine Folge von x+x+x^+ aber keine Folge von x−1,…,x−nx1−,…,xn−x^-_1,\dots,x^-_n. Gegeben x+,x−1,…,x−nx+,x1−,…,xn−x^+,x^-_1,\dots,x^-_nIch suche die kürzeste gute Saite sss. Gibt es dafür einen vernünftigen Algorithmus? Ich interessiere mich …
1
Warum sind berechenbare Funktionen kontinuierlich?
Ich arbeite daran, ein leicht lesbares Dokument über die Denotationssemantik des Lambda-Kalküls zu schreiben . Dafür stelle ich CPOs, Monotonie und Kontinuität vor. Ein CPO ist eine MengeM.MM mit einer Teilbestellung ≤≤\leq und ein unteres Element ⊥⊥\boterforderlich ⊥⊥\bot das kleinste Element in sein M.MM und die Existenz der kleinsten Obergrenze …
1
gegen
Es gibt eine äquivalente Definition für die Klasse NLNL\mathsf{NL}mit Verifizierer. Diese Prüfer sind deterministische Turing-Maschinen, die das Zeugenband nur einmal auf eine Weise von links nach rechts lesen können. Eine Funktion gegeben f:N→Nf:N→Nf:\mathbb{N}\to\mathbb{N} das sagen wir NL[f(n)]NL[f(n)]\mathsf{NL}[f(n)] ist die Klasse, die durch die obige Definition erhalten wurde, aber der Prüfer …
1
Der C3-Linearisierungsalgorithmus für die Methodenauflösung in OO-Sprachen mit Mehrfachvererbung: Suchen Sie nach einer Begründung für einige Implementierungsdetails
Gemäß dieser Beschreibung der Python-Methodenauflösungsreihenfolge (mro), auch bekannt als C3-Linearisierung , kann der Algorithmus rekursiv wie folgt beschrieben werden: L(O) = <O> L(C) = <C> + merge(L(B1),..., L(Bn), <B1,...,Bn>) wo O ist die Klasse, von der jede Klasse erbt. Cist eine Klasse, die direkt von B1, ... Bn, in dieser …
2
Finden Sie einen Hall-Violator mit minimaler Kardinalität
Gegeben ein zweigliedriger Graph (X,Y，E)(X,Y，E)(X,Y，E), in dem es keine perfekte Übereinstimmung gibt, möchte ich eine kleinste Teilmenge finden, die gegen Halls Bedingung verstößt, dh eine Menge mit minimaler Kardinalität S⊆XS⊆XS \subseteq X für welche |N(S)|&lt;|S||N(S)|&lt;|S||N(S)|<|S|. Dieses Problem ist die Optimierungsversion einer früheren Frage. Finden einer Teilmenge in einem zweigeteilten Graphen, …
1
Probleme beim Verstehen des Hauptsatzes aus Jeffrey Ericksons Notizen
Ich schaue mir Jeffrey Ericksons Notizen zum Hauptsatz an (Seite 10). Teil (b) des Satzes besagt, dass wenn , und k &gt; 1, dann ist T (n) \ Theta (n ^ {\ log_b (a)}) . Aber ich bekomme ein anderes Ergebnis.T(n)=aT(nb)+f(n)T(n)=aT(nb)+f(n)T(n) = aT(\frac{n}{b})+f(n)af(nb)=kf(n)af(nb)=kf(n)af(\frac{n}{b}) = kf(n)k&gt;1k&gt;1k>1Θ(nlogb(a))Θ(nlogb⁡(a))\Theta(n^{\log_b(a)}) Unter Verwendung von Rekursionsbäumen haben …
1
Rechenkomplexität nicht aller gleich SAT-Varianten
Nicht alle gleich SAT ist ein NP Complete-Problem. Betrachten wir nun eine andere Variante des Problems. Bei einem NAESAT-Problem (Not All Equal SAT) (beliebige Anzahl von Literalen pro Klausel zulässig) mit einer zusätzlichen Einschränkung, dass jedes Klauselpaar mindestens 1 Literal gemeinsam hat (keine Variablen, sondern Literale). Ist dieses Problem immer …
1
Curry Howard Korrespondenz mit Predicate Logic?
Also versuche ich, mich um Curry-Howard zu kümmern. (Ich habe es mehrmals versucht, es ist einfach nicht gelierend / scheint zu abstrakt). Um etwas Konkretes anzugehen, arbeite ich an einigen Haskell-Tutorials, die von Wikipedia verlinkt sind, insbesondere von Tim Newsham . Es gibt auch eine nützliche Diskussion, wenn Newsham das …
2
Anzahl der unterschiedlichen Teilzeichenfolgen im String innerhalb des Bereichs
Wenn der String Länge , kann das Ermitteln der Anzahl unterschiedlicher Teilzeichenfolgen in linearer Zeit unter Verwendung eines LCP-Arrays erfolgen. Anstatt nach der Anzahl der eindeutigen Teilzeichenfolgen in der gesamten Zeichenfolge fragen, fragt die Abfrage mit der Indizierung wobei nach der Anzahl der unterschiedlichen Teilzeichenfolgen innerhalb des angegebenen für die …
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.