Computerwissenschaften

3

Welche anderen Programmiersprachen außer Python und dem Vorgänger verwenden Einrückungen, um Codeblöcke zu definieren? [geschlossen]

Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie für Computer Science Stack Exchange zum Thema gehört . Geschlossen vor 9 Monaten . Python verwendet bekanntermaßen Einrückungen, um Codeblöcke syntaktisch zu definieren. (Siehe Zusammengesetzte Anweisungen …

12 programming-languages python syntax

5

Gibt es einen Anwendungsfall für den unteren Typ als Funktionsparametertyp?

Wenn eine Funktion den Rückgabetyp ⊥ ( unterer Typ ) hat, bedeutet dies, dass sie niemals zurückgibt. Es kann zum Beispiel aussteigen oder werfen, beides ganz gewöhnliche Situationen. Vermutlich könnte eine Funktion mit einem Parameter vom Typ ⊥ niemals (sicher) aufgerufen werden. Gibt es jemals Gründe, eine solche Funktion zu …

12 type-theory type-checking

2

Wie viele Paar Brackets reichen aus, um Brainfuck Turing zu vervollständigen?

Brainfuck ist eine vollständige Programmiersprache von Turing, die nur 8 Symbole verwendet (6, wenn Sie E / A ignorieren). Die zwei bemerkenswertesten, die es zur Vollständigkeit bringen, sind [und ]im Wesentlichen Brainfucks Label und goto. Normalerweise verwenden Programme in Brainfuck mehrere Sätze von [], aber ich habe mich gefragt, wie …

12 turing-completeness

2

Wenn die untere Grenze eines Problems exponentiell ist, ist es dann NP?

Unter der Annahme , dass wir ein Problem haben , und wir zeigten , dass die für die Lösung gebunden unteren ist Ω ( 2 n ) .ppppppΩ(2n)Ω(2n)\mathcal{\Omega}(2^n) Kann die untere Schranke das Problem in implizieren ?Ω(2n)Ω(2n)\mathcal{\Omega}(2^n)NPNPNP

12 time-complexity np-complete

2

Wortfaktorisierung in

Wenn zwei Zeichenfolgen S1,S2S1,S2S_1, S_2 , schreiben wir S1S2S1S2S_1S_2 für ihre Verkettung. Bei einer Zeichenkette SSS und Integer k≥1k≥1k\geq 1 , wir schreiben (S)k=SS⋯S(S)k=SS⋯S(S)^k = SS\cdots S für die Verkettung von kkk Kopien von SSS . Wenn wir nun einen String haben, können wir ihn mit dieser Notation 'komprimieren', dh …

12 dynamic-programming word-combinatorics

2

Probleme, die sich exponentiell anfühlen, aber P sind

Ich versuche, eine Liste von Algorithmen / Problemen zu erstellen, die "außergewöhnlich nützlich" sind, wie zum Beispiel das Lösen von Problemen, die von Natur aus sehr exponentiell erscheinen, aber einige besonders clevere Algorithmen haben, die sie letztendlich lösen. Beispiele für das, was ich meine: Lineare Programmierung (Der Simplex-Algorithmus ist eine …

12 complexity-theory polynomial-time efficiency

4

Was bedeutet der führende Drehkreuzbetreiber?

Ich weiß, dass verschiedene Autoren unterschiedliche Schreibweisen verwenden, um die Semantik der Programmiersprache darzustellen. In der Tat spricht Guy Steele dieses Problem in einem interessanten Video an . Ich würde gerne wissen, ob jemand weiß, ob der führende Drehkreuzbetreiber eine allgemein anerkannte Bedeutung hat. Zum Beispiel verstehe ich den führenden …

12 type-theory denotational-semantics

1

Gibt es einen Isomorphismus zwischen (Teil-) Kategorietheorie und relationaler Algebra?

Es kommt aus der Big-Data-Perspektive. Grundsätzlich "kompensieren" viele Frameworks (wie Apache Spark) den Mangel an relationalen Operationen, indem sie Functor / Monad-ähnliche Schnittstellen bereitstellen, und es gibt eine ähnliche Tendenz zu Cat-to-SQL-Konvertierungen (Slick in Scala). Zum Beispiel benötigen wir für die elementweise Multiplikation von Vektoren aus der SQL-Perspektive eine natürliche …

12 relational-algebra category-theory curry-howard

3

Optimale Strategie für ein abstraktes Spiel

Ich habe in einem Interview das folgende Problem erhalten (das ich bereits nicht gelöst habe und nicht versucht habe, mich vorbeizuschleichen): Das Spiel beginnt mit einer positiven Ganzzahl . (ZB A 0 = 1234. ) Diese Zahl wird in eine binäre Darstellung umgewandelt, und N ist die Anzahl der auf …

12 algorithms optimization

5

Warum impliziert Solidität Beständigkeit?

Ich habe die Frage gelesen. Beständigkeit und Vollständigkeit implizieren Solidität. und die erste Aussage darin lautet: Ich verstehe, dass Solidität Beständigkeit impliziert. Worüber ich ziemlich verwirrt war, weil ich dachte, Solidität sei eine schwächere Aussage als Konsistenz (dh ich dachte, konsistente Systeme müssten solide sein, aber ich denke, es ist …

12 terminology logic first-order-logic propositional-logic incompleteness

1

Ist es für Rupert einfacher, eine Tüte mit Geschenken zu packen als für den Weihnachtsmann?

Oder: Brauchen wir Rupert, um überhaupt Geschenke zu bekommen? Abgesehen von Routing-Problemen steht der Weihnachtsmann vor dem folgenden Problem (viele, viele Male): Mit einer Tasche mit einer Kapazität von und einer Reihe von Geschenken , die jeweils die Größe , möchte er Kinder glücklich machen. Er weiß aus allen Wunschlisten, …

12 algorithms complexity-theory optimization packing

4

PRNG zur exakten Generierung von Zahlen mit n gesetzten Bits

Ich schreibe gerade Code, um Binärdaten zu generieren. Ich muss speziell 64-Bit-Zahlen mit einer bestimmten Anzahl von gesetzten Bits generieren. Genauer gesagt sollte die Prozedur einige annehmen und eine pseudozufällige 64-Bit-Zahl mit genau auf gesetzten Bits und den Rest auf 0 setzen.0 < n < 640<n<640 < n < 64nnn111 …

12 algorithms information-theory coding-theory pseudo-random-generators

2

Was ist ein „Widerspruch“ in der konstruktiven Logik?

In praktischen Grundlagen für Programmiersprachen , sagt Robert Harper Wenn ein Satz, der wahr ist, einen Beweis dafür hat, was bedeutet es dann, wenn ein Satz falsch ist? Es bedeutet, dass wir eine Widerlegung haben, die zeigt, dass es nicht bewiesen werden kann. Das heißt, ein Satz ist falsch, wenn …

12 logic

2

Tautologie beweisen mit coq

Momentan muss ich Coq lernen und weiß nicht, wie ich damit umgehen soll or: Als Beispiel, so einfach es ist, kann ich nicht beweisen: Theorem T0: x \/ ~x. Ich würde mich sehr freuen, wenn mir jemand helfen könnte. Als Referenz verwende ich diesen Spickzettel . Auch ein Beispiel für …

12 logic coq

3

Probleme vermutet, aber nicht einfach erwiesen

Wir haben viele Probleme, wie die Faktorisierung, die stark vermutet, aber nicht bewiesen werden, dass sie außerhalb von P liegen. Gibt es Fragen mit der entgegengesetzten Eigenschaft, nämlich, dass sie stark vermutet werden, aber nicht bewiesen werden, dass sie innerhalb von P liegen?

12 complexity-theory polynomial-time