L'informatique

2

MIN-2-XOR-SAT et MAX-2-XOR-SAT: sont-ils NP-durs?

Quelle est la complexité de MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} et MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Sont-ils en P? Sont-ils durs en NP? Pour formaliser cela plus précisément, Φ ( x ) = ∧njeCje,Φ(X)=∧jenCje,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, où x =( x1, … , Xm)X=(X1,…,Xm)\mathbf{x} = (x_1,\dots,x_m) et chaque clause CjeCjeC_i est de la forme ( xje⊕ xj)(Xje⊕Xj)(x_i \oplus x_j) …

13 complexity-theory optimization np-hard satisfiability

2

Tout problème NP-Complete peut-il être résolu en utilisant au maximum l'espace polynomial (mais en utilisant le temps exponentiel?)

J'ai lu sur NPC et sa relation avec PSPACE et je souhaite savoir si les problèmes NPC peuvent être résolus de manière déterministe en utilisant un algorithme avec un espace polynomial dans le pire des cas, mais prenant potentiellement un temps exponentiel (2 ^ P (n) où P est polynomial). …

12 complexity-theory np-complete np

5

Existe-t-il un cas d'utilisation pour le type inférieur comme type de paramètre de fonction?

Si une fonction a un type de retour ⊥ ( type inférieur ), cela signifie qu'elle ne revient jamais. Il peut par exemple sortir ou lancer, deux situations assez ordinaires. Vraisemblablement, si une fonction avait un paramètre de type ⊥, elle ne pourrait jamais (en toute sécurité) être appelée. Y …

12 type-theory type-checking

3

Quels autres langages de programmation en dehors de Python et du prédécesseur utilisent-ils l'indentation pour définir des blocs de code? [fermé]

Fermé. Cette question est hors sujet . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour Computer Science Stack Exchange. Fermé il y a 11 mois . Python utilise assez bien l'indentation pour définir syntaxiquement des blocs …

12 programming-languages python syntax

1

La monade IO est-elle techniquement incorrecte?

Sur le wiki haskell, il y a l'exemple suivant d'utilisation conditionnelle de la monade IO (voir ici) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Notez que dans cet exemple, la définition de IO aest …

12 programming-languages functional-programming haskell

3

Pourquoi le symbole vide n'est-il pas considéré comme faisant partie de l'alphabet d'entrée d'une machine de Turing?

Les définitions des machines de Turing indiquent toujours explicitement que le symbole vide ne fait pas partie de l'alphabet saisi. Je me demande ce qui ne va pas quand vous le ferez partie de l'alphabet d'entrée, car effectivement le symbole vide semble déjà faire partie de l'entrée. Pour expliquer que …

12 turing-machines

2

Si la limite inférieure d'un problème est exponentielle, est-ce NP?

En supposant que nous avons un problème et nous avons montré que la borne inférieure pour résoudre est .ppppppΩ ( 2n)Ω(2n)\mathcal{\Omega}(2^n) la borne inférieure impliquer le problème dans ?Ω ( 2n)Ω(2n)\mathcal{\Omega}(2^n)NPNPNP

12 time-complexity np-complete

2

Mot factorisation en temps

Étant donné deux chaînes , nous écrivons pour leur concaténation. Étant donné une chaîne et entier , nous écrivons pour la concaténation de copies de . Maintenant donné une chaîne, nous pouvons utiliser cette notation pour la 'comprimer', c'est-à-dire que peut être écrit comme . Appelons le poids d'une compression …

12 dynamic-programming word-combinatorics

4

Que signifie le principal opérateur de tourniquet?

Je sais que différents auteurs utilisent une notation différente pour représenter la sémantique du langage de programmation. En fait, Guy Steele aborde ce problème dans une vidéo intéressante . J'aimerais savoir si quelqu'un sait si le principal opérateur de tourniquet a une signification bien reconnue. Par exemple, je ne comprends …

12 type-theory denotational-semantics

2

Combien de paires de supports sont suffisantes pour compléter Brainfuck Turing?

Brainfuck est un langage de programmation complet de Turing qui n'utilise que 8 symboles (6 si vous ignorez les E / S). Les deux plus notables qui l'ont poussé à l'exhaustivité de Turing sont [et ], essentiellement, le label et goto de Brainfuck. Normalement, les programmes de Brainfuck utilisent plusieurs …

12 turing-completeness

2

Problèmes qui semblent exponentiels mais qui sont P

J'essaie de construire une liste d'algorithmes / problèmes qui sont "exceptionnellement utiles", comme dans la résolution de problèmes qui semblent "de nature très exponentielle", mais qui ont un algorithme particulièrement intelligent qui les résout finalement. Exemples de ce que je veux dire: Programmation linéaire (L'algorithme simplex est un temps exponentiel; …

12 complexity-theory polynomial-time efficiency

1

Existe-t-il un isomorphisme entre (un sous-ensemble de) la théorie des catégories et l'algèbre relationnelle?

Cela vient du Big Data. Fondamentalement, de nombreux frameworks (comme Apache Spark) "compensent" le manque d'opérations relationnelles en fournissant des interfaces de type Functor / Monad et il existe un mouvement similaire vers les conversions de chats en SQL (Slick in Scala). Par exemple, nous avons besoin d'une jointure naturelle …

12 relational-algebra category-theory curry-howard

3

Stratégie optimale pour un jeu abstrait

On m'a donné le problème suivant dans une interview (que j'ai déjà échoué à résoudre, n'essayant pas de me tromper): Le jeu commence avec un nombre entier positif . (Par exemple ) Ce nombre est converti en représentation binaire, et est le nombre de bits mis à . (Par exemple …

12 algorithms optimization

5

Pourquoi la solidité implique-t-elle la cohérence?

Je lisais la question La cohérence et l'exhaustivité impliquent la solidité? et la première déclaration y dit: Je comprends que la solidité implique la cohérence. Ce qui m'a laissé perplexe parce que je pensais que la solidité était une affirmation plus faible que la cohérence (c'est-à-dire que je pensais que …

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

2

Qu'est-ce qu'une «contradiction» dans la logique constructive?

Dans Fondements pratiques pour les langages de programmation , Robert Harper dit Si pour qu'une proposition soit vraie signifie en avoir la preuve, que signifie qu'une proposition est fausse? Cela signifie que nous en avons une réfutation , montrant qu'elle ne peut pas être prouvée. Autrement dit, une proposition est …

12 logic