Computerwissenschaften

5

Ist 2 ** x schneller zu berechnen als exp (x)?

Vergib die Naivität, die offensichtlich wird, wenn ich diese Frage stelle, sowie die Tatsache, dass ich sie stelle. Mathematiker verwenden normalerweise da es die einfachste / schönste Basis in der Theorie ist (aufgrund von Kalkül). Aber Computer scheinen alles in Binärform zu tun, ist es also schneller, auf einer Maschine …

12 binary-arithmetic numerical-analysis numeral-representations

4

Union der regulären Sprachen, die nicht regelmäßig ist

Ich bin auf folgende Frage gestoßen : "Geben Sie Beispiele für zwei reguläre Sprachen an, deren Vereinigung keine reguläre Sprache ausgibt." Das ist ziemlich schockierend für mich, weil ich glaube, dass reguläre Sprachen unter Union geschlossen sind. Das bedeutet für mich, dass ich eine reguläre Sprache bekommen muss , wenn …

12 formal-languages regular-languages closure-properties

4

Ist der Quantencomputer analog?

Vor einigen Jahrzehnten hatten wir analoge Computer. Moderne Computer sind digital. Was ist mit Quantencomputern? Ist es analog oder digital? Ich frage dies, da Qubit viele Dinge gleichzeitig sein kann.

12 quantum-computing

1

Auswählen einer Teilmenge, um den Mindestabstand zwischen Punkten zu maximieren

Ich habe eine Menge von Punkten und ich habe den Abstand zwischen jedem Punkt D ( P i , P j ) . Diese Abstände sind euklidisch, aber die Punkte befinden sich tatsächlich in einem Merkmalsraum.CCCD ( Pich, Pj)D(Pich,Pj)D(P_i,P_j) Aus den Punkten möchte ich eine Teilmenge von n Punkten auswählen …

12 optimization

2

Gibt es Müllsammler, die Paging berücksichtigen?

Garbage Collections müssen alle Objekte besuchen, die noch leben, um den Speicher zu finden, der wiederhergestellt werden kann. (Mit vielen Generationen verzögert sich das nur ein bisschen) Wenn alle Dinge gleich sind, ist es eindeutig besser, zuerst das Objekt zu besuchen, das bereits in den RAM ausgelagert ist, bevor ein …

12 memory-management paging garbage-collection

9

Was genau ist ein Algorithmus?

Ich weiß, dass dies ein bisschen ungewöhnlich klingt, in der Tat habe ich immer in der Box nachgedacht, aber in letzter Zeit habe ich darüber nachgedacht, ob die Informatik ein hohes Maß an Freiheit bietet, um andere Programme als zu entwickeln diejenigen, die an der Universität gelehrt. Betrachten Sie die …

12 algorithms

2

Lambda-Kalkül: Unterschied zwischen Kontexten und Bewertungskontexten

Erstens möchte ich darauf hinweisen, dass mein nachstehender Text Fehler enthalten kann. Sie können also jederzeit auf Fehler bei der Formulierung der Frage hinweisen. Betrachten Sie einen nicht typisierten Lambda-Kalkül mit Booleschen Werten und if-Anweisungen, deren Terme durch diese Syntax gegeben sind: t ::= v | t t | if …

12 programming-languages lambda-calculus

1

Gibt es eine Sprache, die ihren eigenen Turing-Compiler vollständig ausdrücken kann?

Ein Kommentar zu tex.SE ließ mich staunen . Die Aussage ist im Wesentlichen: Wenn ich einen Compiler für Sprache X in Sprache X schreiben kann, ist X Turing-vollständig. In Bezug auf die Berechenbarkeit und die formalen Sprachen ist dies: Wenn entscheidet L ⊆ L T M und ⟨ M ⟩ …

12 computability turing-completeness

2

Single-Tape-Turing-Maschinen mit schreibgeschütztem Eingang erkennen nur reguläre Sprachen

Hier ist das Problem: Beweisen Sie, dass Single-Tape-Turing-Maschinen, die nicht auf den Teil des Bands schreiben können, der die Eingabezeichenfolge enthält, nur reguläre Sprachen erkennen. Meine Idee ist es zu beweisen, dass dieses spezielle TM einem DFA entspricht. Die Verwendung dieses TM zur Simulation von DFA ist sehr einfach. Wenn …

12 formal-languages computability regular-languages turing-machines automata

3

Multicore-SAT-Löser

Ich versuche, ein SAT-Problem mit 25k Klauseln und 5k Variablen zu lösen. Da es seit einer Stunde läuft (Precosat) und ich später größere Probleme lösen möchte, suche ich einen Mehrkern-SAT-Solver. Da es anscheinend viele SAT-Solver gibt, bin ich ziemlich verloren. Könnte mir jemand das beste für meinen Fall nennen? Ich …

12 algorithms reference-request parallel-computing sat-solvers

2

Bedeutet coNP-Vollständigkeit NP-Härte?

Bedeutet coNP-Vollständigkeit NP-Härte? Insbesondere habe ich ein Problem, von dem ich gezeigt habe, dass es coNP-vollständig ist. Kann ich behaupten, dass es NP-schwer ist? Mir ist klar, dass ich CoNP-Härte beanspruchen kann, aber ich bin nicht sicher, ob diese Terminologie Standard ist. Ich bin mit der Behauptung einverstanden, dass NP …

12 complexity-theory np-hard

2

Wie kodiere ich ein Datum als Eingabe in ein neuronales Netzwerk?

Ich benutze neuronale Netze, um eine Zeitreihe vorherzusagen. Die Frage, mit der ich jetzt konfrontiert bin, ist, wie ich Datum / Uhrzeit / Seriennummer codiere. jedes Eingangssatzes als Eingang für das neuronale Netzwerk? Soll ich 1 von C verwenden kodieren (verwendet für die Codierung von Kategorien) , wie hier ? …

12 machine-learning artificial-intelligence neural-networks

1

Zählung der Anzahl der Summen aus benachbarten Unterfeldern eines Feldes

Wir erhalten ein Array mit allen a [ i ] > 0 .a [ 1 … n ]ein[1…n]a[1 \ldots n]a [ i ] > 0ein[ich]>0a[i]>0 Nun müssen wir herausfinden, wie viele verschiedene Summen aus ihren Subarrays gebildet werden können (wobei ein Subarray ein zusammenhängender Bereich des Arrays ist, dh für …

12 arrays substrings suffix-array

2

Gibt es eine formale CS-Definition von VCS- und Dateiversionen?

Ich weiß nicht, ob es ein Witz war, aber ich habe einmal gelesen, was als formale Definition einer Datei in einem Versionssystem wie git, hg oder svn bezeichnet wurde. Es war so etwas wie ein mathematisches Objekt wie ein Homöomorphismus. War das ein Witz oder gibt es wirklich eine Informatiktheorie …

12 terminology reference-request

3

Beziehung zwischen Russellscher Typentheorie und Typensystemen

Ich habe kürzlich festgestellt, dass es eine Beziehung zwischen der Russellschen Typentheorie und Typensystemen gibt, wie sie zB in Haskell zu finden sind. Tatsächlich scheint ein Teil der Notation für Typen in Haskell Vorläufer in der Typentheorie zu haben. Aber meiner Meinung nach war Russell 1908 motiviert, Russells Paradoxon zu …

12 programming-languages type-theory