Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Sprachen mit anwendbarer Reihenfolge unterstützen keine Schreibvorgänge für konstante Zeitarrays? Wenn nicht, warum nicht?
Ich lese Steven Skienas "The Algorithm Design Manual" und in einer seiner Kriegsgeschichten auf Seite 155 heißt es: Effizienz ist in Mathematica eine große Herausforderung, da das Berechnungsmodell anwendbar ist (es unterstützt keine zeitkonstanten Schreiboperationen für Arrays) und der Interpretationsaufwand (im Gegensatz zur Kompilierung). Ich habe SICP bereits gelesen, daher …
7 arrays 
2
Ist der Schnittpunkt unendlich vieler rekursiver Mengen rekursiv?
Ist der Schnittpunkt von unendlich vielen rekursiven Mengen ⋂ichU.ich⋂iUi\bigcap_{i}U_{i}(wo jeder Satz anders ist) rekursiv? Rekursiv aufzählbar? Ich weiß, dass die Vereinigung nicht rekursiv sein muss, weil sie entscheidet, ob ein Element in der Menge enthalten istU.ichUiU_i ist dasselbe wie die Entscheidung über das Halteproblem, da Sie für jedes Element entscheiden …
1
Gibt es Problemfälle, von denen wir wissen, dass sie unlösbar sind?
Wie es im Titel heißt: Gibt es Probleminstanzen , die wir kennen unlösbare sein? Oder äquivalent Gibt es irgendwelche Versprechungsprobleme mit einer endlichen Anzahl möglicher Eingaben, die nicht zu entscheiden sind? Bitte beachten Sie: Mir ist klar, dass viele Rechenprobleme bekanntermaßen unlösbar sind, aber nach meinem besten Wissen (möglicherweise begrenzt) …
2
Gibt es einen Polynomzeitalgorithmus, um herauszufinden, dass die Summe der Quadratwurzeln kleiner als eine ganze Zahl ist?
Gegeben: Eine Liste vonnnn ganze Zahlen x1,x2, … ,xnx1,x2,…,xnx_1,x_2,\dots,x_n und eine ganze Zahl kkk. Bestimmen: Istx- -- -√1+x- -- -√2⋯x- -- -√n≤ kx1+x2⋯xn≤k\sqrt x_1 + \sqrt x_2 \cdots \sqrt x_n \le k? Frage: Gibt es einen Polynomzeitalgorithmus für das obige Problem? Wenn ja, geben Sie einen Algorithmus an. sonst beweise …
1
Das am schwersten induzierte Subgraph-Problem
Ich interessiere mich für ein solches kombinatorisches Problem: ein Graph und eine Gewichtsfunktion und sind, fragen wir nach einem solchen induzierten Teilgraphen von , das die Summe maximiert: .G=(V,E)G=(V,E)G=(V, E)wv:V↦Rwv:V↦Rw_v: V \mapsto Rwe:E↦Rwe:E↦Rw_e: E \mapsto RG′=(V′,E′)G′=(V′,E′)G' = (V', E')GGG∑e∈E′we(e)+∑v∈V′wv(v)∑e∈E′we(e)+∑v∈V′wv(v) \sum_{e \in E'} w_e(e) + \sum_{v \in V'} w_v(v) Das Problem …
2
Formales Ausführungsmodell für Java (oder allgemeine imperative Sprache)
Ich versuche, einige Aussagen über die Ausführung in Java-Programmen unter einigen starken Einschränkungen zu beweisen (im Grunde genommen habe ich die Vermutung, dass zwei Methoden, die eine Reihe von Einschränkungen für eine bestimmte Eingabe erfüllen, äquivalent sind - dh den Wert und den Status danach zurückgeben Ausführung sind identisch). Um …
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.