L'informatique

1

Quand utiliser SAT vs Constraint Satisfaction?

Si j'ai un problème difficile, une approche standard consiste à l'exprimer en tant qu'instance SAT et à essayer d'exécuter un solveur SAT dessus. Une autre approche standard consiste à l'exprimer comme un problème de satisfaction de contrainte et à essayer d'utiliser un solveur CSP. Les deux se sentent en quelque …

18 heuristics sat-solvers constraint-programming

3

Existe-t-il une théorie des hiérarchies d'exceptions?

Je connais une douzaine de langages de programmation qui ont des exceptions d'une certaine manière, pourtant j'en suis venu à être témoin de deux tendances "pathologiques". Il ne semble pas y avoir de modèle ou de hiérarchie commun d'exceptions. Chaque langue roule essentiellement sa propre version, et si les exceptions …

18 terminology programming-languages api-design

2

Qu'est-ce qui est plus difficile: mélanger un jeu trié ou trier un jeu mélangé?

Vous avez un tableau de éléments distincts. Vous avez accès à un comparateur (une fonction de boîte noire prenant deux éléments et et retournant vrai ssi ) et une source de bits vraiment aléatoire (une fonction de boîte noire ne prenant aucun argument et retournant un bit aléatoire uniformément indépendant). …

18 algorithms algorithm-analysis information-theory permutations entropy

1

Nombre de cycles hamiltoniens sur un graphe de Sierpiński

Je suis nouveau sur ce forum et juste un physicien qui fait cela pour garder son cerveau en forme, alors s'il vous plaît montrez de la grâce si je n'utilise pas le langage le plus élégant. Veuillez également laisser un commentaire, si vous pensez que d'autres balises seraient plus appropriées. …

18 graph-theory combinatorics check-my-proof

1

Des langues qui satisfont au lemme de pompage mais qui ne sont pas régulières?

Étant donné un langage régulier , il est facile de prouver qu'il existe une constante telle que , avec il existe des chaînes , et telles que et , et pour tout c'estLLLNNNσ∈ Lσ∈L\sigma \in L| σ| ≥ N|σ|≥N\lvert \sigma \rvert \ge Nαα\alphaββ\betaγγ\gamma| α β| ≤ N|αβ|≤N\lvert \alpha \beta \rvert …

18 formal-languages proof-techniques

2

Quel est l'avantage de Randomized Quicksort?

Dans leur livre Randomized Algorithms , Motwani et Raghavan ouvrent l'introduction avec une description de leur fonction RandQS - Randomized quicksort - où le pivot, utilisé pour partitionner l'ensemble en deux parties, est choisi au hasard. J'ai accumulé mes cerveaux (certes un peu sous-alimentés) pendant un certain temps, mais je …

18 algorithm-analysis sorting randomized-algorithms

2

Calcul d'une matrice inverse lorsqu'un élément change

Étant donné une matrice . Soit la matrice inverse de être (c'est-à-dire, ). Supposons qu'un élément de soit modifié (disons en ). L'objectif est de trouver après ce changement. Existe-t-il une méthode pour trouver cet objectif plus efficace que de recalculer la matrice inverse à partir de zéro.A A A …

18 algorithms numerical-analysis online-algorithms

1

Définitions d'un algorithme fonctionnant en temps polynomial et en temps fortement polynomial

Wikipédia le définit comme Un algorithme est dit de temps polynomial si son temps de fonctionnement est délimité par une expression polynomiale dans la taille de l'entrée pour l'algorithme, c'est-à-dire pour une constante k.T( n ) = O ( nk)T(n)=O(nk)T(n) = O(n^k) L'algorithme fonctionne en temps fortement polynomial si [8] …

18 complexity-theory

1

Application de la maximisation des attentes aux exemples de lancer de pièces

J'ai auto-étudié la maximisation des attentes récemment et je me suis emparé de quelques exemples simples dans le processus: De là : Il y a trois pièces , et avec , et la probabilité respective d'atterrir sur la tête lorsqu'elle est lancée. Toss . Si le résultat est Tête, lancez …

18 probability-theory statistics

2

Une réduction polynomiale de tout problème NP-complet au PCP borné

Partout, les manuels supposent que le problème de la correspondance de poste borné est NP-complet (pas plus de NNN index autorisés avec répétitions). Cependant, nulle part on ne montre une réduction du temps polynomiale simple (comme dans quelque chose qu'un étudiant peut comprendre) d'un autre problème NP-complet. Cependant, chaque réduction …

18 complexity-theory np-complete reductions

3

Comment lire les règles de frappe?

J'ai commencé à lire de plus en plus d'articles de recherche linguistique. Je trouve cela très intéressant et un bon moyen d'en savoir plus sur la programmation en général. Cependant, il y a généralement une section avec laquelle je me bats toujours (prenez par exemple la troisième partie de cela …

18 logic reference-request terminology type-theory

1

Prouver la (in) tractabilité de cette Nième récurrence première

Comme suit de ma question précédente , j'ai joué avec l' hypothèse de Riemann comme une question de mathématiques récréatives. Dans le processus, je suis arrivé à une récurrence assez intéressante, et je suis curieux de son nom, de ses réductions et de son aptitude à la solvabilité de l'écart …

18 complexity-theory reference-request recurrence-relation mathematical-analysis

4

Montrer qu'un problème dans X n'est pas X-Complete

La théorie existentielle des réels est dans PSPACE , mais je ne sais pas si elle est PSPACE-Complete . Si je crois que ce n'est pas le cas, comment pourrais-je le prouver? Plus généralement, étant donné un problème dans une classe de complexité X , comment puis-je montrer qu'il n'est …

18 complexity-theory proof-techniques

4

Les problèmes de satisfaction des contraintes peuvent-ils être résolus avec Prolog?

Est-ce que les problèmes de type "fréquentation des partis" sont résolus dans Prolog? Par exemple: Burdock Muldoon et Carlotta Pinkstone ont tous deux déclaré qu'ils viendraient si Albus Dumbledore venait. Albus Dumbledore et Daisy Dodderidge ont tous deux déclaré qu'ils viendraient si Carlotta Pinkstone venait. Albus Dumbledore, Burdock Muldoon et …

18 logic constraint-programming prolog logic-programming

2

L'informatique quantique pourrait-elle éventuellement être utilisée pour rendre le hachage moderne trivial à briser?

En termes simples, si l'on devait construire un appareil informatique quantique d'une puissance de, disons, 20 qubits, un tel ordinateur pourrait-il être utilisé pour rendre inutile tout type d'algorithme de hachage moderne? Serait-il même possible d'exploiter la puissance de l'informatique quantique dans une application informatique traditionnelle?

18 cryptography quantum-computing hash