Questions marquées «reference-request»

La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.

4
Quel est le moyen le plus rapide de vérifier l'inclusion d'un ensemble?
Étant donné sous-ensembles de .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Vérifiez s'il existe des ensembles avec . (Si oui, trouvez un exemple, sinon, dites simplement «non»)Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j La solution triviale à ce problème passe par toutes les paires d'ensembles et vérifie l'inclusion d'une paire dans le temps O(d)O(d)O(d) , donc le temps d'exécution global …
4
Démarrage des papiers du solveur SAT
Je veux faire un premier solveur SAT. Je connais le concours SAT et la conférence SAT, et il y a tellement de papiers sur ce sujet. Je suis un démarreur, un démarreur débordé. Par où dois-je commencer? Finalement, je veux pousser l'état de l'art. Je veux des conseils d'experts sur …
1
Est-il encore ouvert pour déterminer la complexité du calcul de la largeur d'arbre des graphes planaires?
Pour une constante , on peut déterminer en temps linéaire, étant donné un graphe d'entrée G , si sa largeur d'arbre est ≤ k . Cependant, lorsque k et G sont donnés en entrée, le problème est NP-difficile. ( Source ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Cependant, lorsque le graphe d'entrée est …
3
Quelles sont les relations entre ces hypothèses dans la théorie de la complexité à grain fin?
La théorie de la complexité, à travers des concepts tels que la complétude NP, fait la distinction entre les problèmes de calcul qui ont des solutions relativement efficaces et ceux qui sont insolubles. La complexité "fine" vise à affiner cette distinction qualitative en un guide quantitatif quant au temps exact …
2
La constante Cheeger
J'ai lu dans de nombreux articles que déterminer la constante de Cheeger d'un graphe est -hard. Cela semble être un théorème populaire, mais je n'ai jamais trouvé ni citation ni preuve pour cette affirmation. À qui dois-je donner du crédit? Dans un vieux document (Isoperimetric Numbers of Graphs, J. Comb. …
2
La reconnaissance des nœuds comme preuve de travail
Actuellement, Bitcoin dispose d'un système de preuve de travail (PoW) utilisant SHA256. D'autres fonctions de hachage utilisent des graphiques d'utilisation du système de preuve de travail, l'inversion partielle de la fonction de hachage. Est-il possible d'utiliser un problème de décision dans la théorie des nœuds comme la reconnaissance de nœuds …
5
Problèmes EXPSPACE-complete
J'essaie actuellement de trouver des problèmes EXPSPACE-complets (principalement pour trouver l'inspiration pour une réduction), et je suis surpris par le petit nombre de résultats à venir. Jusqu'à présent, je les ai trouvés et j'ai du mal à élargir la liste: universalité (ou autres propriétés) des expressions régulières avec exponentiation. problèmes …
2
Analyse des billes et des bacs dans le régime
Supposons que nous jetons mmm boules dans nnn bacs, où m≫nm≫nm \gg n . Soit XiXiX_i le nombre de billes se terminant dans le bac iii , XmaxXmaxX_\max le bac le plus lourd, XminXminX_\min le bac le plus léger et Xsec−maxXsec−maxX_{\mathrm{sec-max}} le deuxième bac le plus lourd. En gros, , …
5
Emballage de rectangles dans des polygones convexes mais sans rotation
Je m'intéresse au problème d'emballer des copies identiques de rectangles (2 dimensions) dans un polygone convexe (2 dimensions) sans chevauchements. Dans mon problème, vous n'êtes pas autorisé à faire pivoter les rectangles et pouvez supposer qu'ils sont orientés parallèlement aux axes. On vous donne simplement les dimensions d'un rectangle et …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.