Computerwissenschaften

9

Gibt es Probleme, die mit zunehmender Größe einfacher werden?

Dies mag eine lächerliche Frage sein, aber ist es möglich, dass ein Problem auftritt, das mit zunehmender Größe der Eingaben tatsächlich einfacher wird? Ich bezweifle, dass solche praktischen Probleme vorliegen, aber vielleicht können wir ein entartetes Problem erfinden, das diese Eigenschaft hat. Vielleicht beginnt es sich zu "lösen", wenn es …

62 algorithms asymptotics

6

Verteilt gegen paralleles Rechnen

Ich höre oft Leute über Parallel Computing und Distributed Computing sprechen , aber ich habe den Eindruck, dass es keine klare Grenze zwischen den beiden gibt, und die Leute neigen dazu, das ziemlich leicht zu verwirren, obwohl ich glaube, dass es sehr unterschiedlich ist: Paralleles Rechnen ist enger mit Multithreading …

61 terminology distributed-systems parallel-computing

10

Menschliche Rechenleistung: Können Menschen das Stopp-Problem bei Turing Machines entscheiden?

Wir wissen, dass das Stopp-Problem (bei Turing-Maschinen) für Turing-Maschinen nicht zu entscheiden ist. Gibt es Forschungen darüber, wie gut der menschliche Verstand mit diesem Problem umgehen kann, möglicherweise unterstützt durch Turing Machines oder Allzweckcomputer? Hinweis : Natürlich kann man im engeren Sinne immer nein sagen, da es Turing-Maschinen gibt, die …

60 computability turing-machines halting-problem human-computing

6

Warum kombinieren wir keine Zufallszahlengeneratoren?

Es gibt viele Anwendungen, in denen ein Pseudozufallszahlengenerator verwendet wird. Die Leute implementieren also eine, die sie für großartig halten, und stellen später fest, dass sie fehlerhaft ist. So etwas ist kürzlich mit dem Zufallszahlengenerator von Javascript passiert. RandU auch schon viel früher. Es gibt auch Probleme mit unangemessenem Initial …

60 pseudo-random-generators random-number-generator

5

Ist Null als Kantengewicht in einem gewichteten Diagramm zulässig?

Ich versuche, ein Skript zu schreiben, das zufällige Diagramme generiert, und ich muss wissen, ob eine Kante in einem gewichteten Diagramm den Wert 0 haben kann. Eigentlich macht es Sinn, dass 0 als Kantengewicht verwendet werden kann, aber ich habe in den letzten Tagen mit Diagrammen gearbeitet und noch nie …

60 algorithms graph-theory graphs weighted-graphs

8

Algorithmische Intuition für logarithmische Komplexität

Ich glaube, ich habe ein vernünftiges Verständnis für Komplexitäten wie , Θ ( n ) und Θ ( n 2 ) .O (1)O(1)\mathcal{O}(1)Θ ( n )Θ(n)\Theta(n)Θ ( n2)Θ(n2)\Theta(n^2) In Bezug auf eine Liste ist eine konstante Suche, sodass es nur den Kopf der Liste erhält. Θ ( n ) ist …

59 algorithms complexity-theory time-complexity intuition

3

Express-Boolesche Logikoperationen in der ganzzahligen linearen Programmierung (ILP)

Ich habe ein ganzzahliges lineares Programm (ILP) mit einigen Variablen , die Boolesche Werte darstellen sollen. Die müssen ganze Zahlen sein und entweder 0 oder 1 enthalten ( ).x i 0 ≤ x i ≤ 1xixix_ixixix_i0≤xi≤10≤xi≤10 \le x_i \le 1 Ich möchte boolesche Operationen mit diesen 0/1-Variablen unter Verwendung linearer …

58 linear-programming integer-programming

3

Abhängige Typen vs. Verfeinerungstypen

Könnte jemand den Unterschied zwischen abhängigen Typen und Verfeinerungstypen erklären? So wie ich es verstehe, enthält ein Verfeinerungstyp alle Werte eines Typs, der ein Prädikat erfüllt. Gibt es ein Merkmal abhängiger Typen, das sie unterscheidet? Wenn es hilft, bin ich über das Liquid Haskell-Projekt auf verfeinerte Typen und über Coq …

58 terminology programming-languages type-theory functional-programming dependent-types

4

Warum ist es am besten, eine Primzahl als Mod in einer Hashing-Funktion zu verwenden?

Wenn ich eine Liste mit Schlüsselwerten von 1 bis 100 habe und diese in einem Array von 11 Buckets organisieren möchte, wurde mir das Bilden einer Mod-Funktion beigebracht H=kmod 11H=kmod 11 H = k \bmod \ 11 Jetzt werden alle Werte nacheinander in 9 Zeilen platziert. Zum Beispiel gibt es …

57 data-structures hash hash-tables primes

12

Enthält ein Byte 8 Bits oder 9?

In diesem Tutorial zur Baugruppenprogrammierung habe ich gelesen, dass 8 Bits für Daten verwendet werden, während 1 Bit für die Parität verwendet wird, die dann zum Erkennen von Paritätsfehlern (verursacht durch Hardwarefehler oder elektrische Störungen) verwendet wird. Ist das wahr?

56 computer-architecture numeral-representations

9

Was wären die realen Implikationen eines konstruktiven

Ich verstehe das Problem auf hohem Niveau und verstehe, dass es die Tür für die Lösung zahlreicher Probleme im Bereich der Informatik öffnen würde, wenn es sich mit einer bereitgestellten Lösung als absolut "erwiesen" herausstellen würde.P= NPP=NPP=NP Meine Frage ist, wenn jemand einen unbestreitbaren, konstruktiven Beweis für , welche unmittelbaren …

56 complexity-theory p-vs-np

6

Wenn jeder an P ≠ NP glaubt, warum stehen dann alle Beweisversuchen für P ≠ NP skeptisch gegenüber?

Viele scheinen zu glauben, dass , aber viele halten es auch für sehr unwahrscheinlich, dass dies jemals bewiesen wird. Gibt es nicht eine Inkonsistenz dazu? Wenn Sie der Meinung sind, dass ein solcher Beweis unwahrscheinlich ist, sollten Sie auch glauben, dass fundierte Argumente für fehlen. Oder gibt es gute Argumente …

55 complexity-theory p-vs-np

6

Gibt es Mindestkriterien für die Vollständigkeit einer Programmiersprache?

Gibt es eine Reihe von Programmiersprachenkonstrukten in einer Programmiersprache, damit diese als vollständig betrachtet werden können? Nach allem , was ich aus Wikipedia entnehmen kann , muss die Sprache die Rekursion unterstützen oder anscheinend in der Lage sein, ohne anzuhalten. Ist das alles was es zu tun gibt?

55 computability programming-languages turing-machines turing-completeness

8

Was ist der schnellste Sortieralgorithmus für ein Array von ganzen Zahlen?

Ich bin während meines Gymnasialstudiums auf viele Sortieralgorithmen gestoßen. Ich weiß jedoch nie, welche (für ein zufälliges Array von ganzen Zahlen) die schnellste ist. Meine Fragen sind also: Welches ist der schnellste derzeit bekannte Sortieralgorithmus? Ist es theoretisch möglich, dass es noch schnellere gibt? Also, was ist die geringste Komplexität …

55 algorithms time-complexity optimization sorting

9

Was ist eine sichere Programmiersprache?

Sichere Programmiersprachen (PL) werden immer beliebter. Ich frage mich, was die formale Definition von sicherem PL ist. Zum Beispiel ist C nicht sicher, aber Java ist sicher. Ich vermute, dass die Eigenschaft "safe" eher auf eine PL-Implementierung als auf die PL selbst angewendet werden sollte. Wenn ja, diskutieren wir eine …

54 programming-languages