L'informatique

1

Je suis désolé si cette question a une réponse triviale qui me manque. Chaque fois que j'étudie un problème qui s'est révélé indécidable, j'observe que la preuve repose sur une réduction à un autre problème qui s'est avéré indécidable. Je comprends que cela crée une sorte d'ordre sur le degré …

11 computability reductions undecidability

1

Pourquoi tous les problèmes dans FPTAS sont-ils également dans FPT?

Selon l'article de Wikipedia sur les schémas d'approximation du temps polynomial : Tous les problèmes dans FPTAS sont traitables à paramètres fixes. Ce résultat me surprend - ces classes semblent être totalement différentes les unes des autres. FPTAS caractérise les problèmes par leur facilité d'approximation, tandis que FPT caractérise les …

11 complexity-theory reference-request approximation parameterized-complexity

1

Comment mapper les bandes d'une machine de Turing «k-tape» dans la bande unique d'une machine de Turing «1-tape»

Je lis Sipser et j'ai du mal à comprendre quel est le processus de sorte que si vous me donnez des machines k Turing avec k bandes, je peux cracher une machine Turing équivalente avec une seule bande. Un exemple serait bien. En fait, un exemple élaboré qui montre comment …

11 turing-machines simulation

1

Algorithme pour tester si une langue est régulière

Existe-t-il un algorithme / une procédure systématique pour tester si une langue est régulière? En d'autres termes, étant donné un langage spécifié sous forme algébrique (pensez à quelque chose comme L={anbn:n∈N}L={anbn:n∈N}L=\{a^n b^n : n \in \mathbb{N}\}), testez si la langue est régulière ou non. Imaginez que nous écrivons un service …

11 algorithms formal-languages regular-languages decision-problem

3

Nombre de multisets de sorte que chaque nombre de 1 à

Mon problème. Compte tenu de , je veux compter le nombre de multijeux valide S . Un multiset S est valide sinnnSSSSSS La somme des éléments de est n , etSSSnnn Chaque numéro de à n peut être exprimée de manière unique comme une somme de quelques - uns des …

11 algorithms integers

1

Tours de Hanoi mais avec configuration initiale et finale arbitraire

Récemment, je suis tombé sur ce problème , une variante des tours de hanoi . Énoncé du problème: Considérez la variation suivante du problème bien connu des tours de Hanoi: On nous donne tours et m disques de tailles 1 , 2 , 3 , … , m empilés sur …

11 algorithms combinatorics recursion

2

Un classificateur de texte qui explique ses décisions

Je construis un catégoriseur de texte pour les phrases courtes. En plus de dire à l'utilisateur "la catégorie du texte que vous avez entré est C", je veux pouvoir expliquer pourquoi j'ai pris cette décision, de manière courte et compréhensible. Par exemple, je ne veux pas dire à l'utilisateur "J'ai …

11 machine-learning classification

1

Longueur moyenne des st (simples) chemins dans un graphique orienté

Étant donné que l' énumération du chemin - est un problème # P-complet, pourrait-il y avoir des méthodes efficaces qui calculent (ou du moins approximent) la longueur moyenne du chemin - sans les énumérer? Que faire si les chemins sont autorisés à revoir les sommets?ssstttsssttt Des résultats pertinents sur des …

11 algorithms complexity-theory graphs approximation enumeration

2

1 / r force d'attraction par automate cellulaire

Existe-t-il un automate cellulaire (en 2D) qui simule une force entre particules?1 / r1/r1/r Plus précisément, je voudrais savoir s'il est possible, avec des règles de mise à jour strictement locales, que deux objets (définis dans le modèle) s'attirent avec une force , où r est la distance séparant les …

11 simulation cellular-automata

2

Cycle le plus long contenu en deux cycles

Le problème suivant est-il NP-complet? (Je suppose que oui). Entrée: un graphique non orienté où l'ensemble de bords peut être décomposé en deux cycles simples à bords séparés (ceux-ci ne font pas partie de l'entrée).k∈N,G=(V,E)k∈N,g=(V,E)k \in \mathbb{N},G=(V,E) Question: Existe - t-il un cycle simple en de longueur supérieure à k …

11 graph-theory np-complete decision-problem

1

Comment détecter le soleil sur une photo

Comment pourriez-vous détecter algorithmiquement pour une photo donnée si le soleil brillait lorsque la photo a été prise? Exemples Un échantillon de cette webcam au sommet d'une montagne: Il est clair que le soleil brille. Dans cet autre exemple, c'est beaucoup moins évident: On pourrait probablement détecter assez facilement s'il …

11 algorithms image-processing

4

Une FSA peut-elle compter?

Cela peut être une question stupide. Il semble clair qu'une FSA, étant finie, ne peut compter que le nombre de symboles dans sa chaîne d'entrée jusqu'à un nombre limité par le nombre de ses états. Mais supposons maintenant que nous équipons le FSA de capacités de sortie (par exemple, d'impression). …

11 automata finite-automata

2

Coupe du gâteau juste quand les joueurs se joignent tard

L'énoncé habituel du problème de la coupe du gâteau suppose que tous les joueurs obtiennent leur part en même temps. Cependant, dans de nombreux cas, les joueurs arrivent progressivement. Par exemple, nous pouvons diviser un gâteau sur joueurs, mais un nouveau joueur arrive et veut une part.nnnnnnn Habituellement, la division …

11 algorithms game-theory online-algorithms

2

Trouver le langage généré par une grammaire sans contexte

Ceci est une question du livre Dragon (je m'excuse pour les erreurs de traduction, je n'ai pas la version anglaise sous la main): Quelle langue est générée par cette grammaire? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Je ne sais pas ce que je …

11 formal-languages context-free formal-grammars

2

Planification des travaux avec un problème de goulot d'étranglement

Étant donné travaux , chaque travail nécessite temps pour se terminer.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Chaque travail doit être prétraité et post-traité par une seule machine M qui ne peut gérer qu'un seul travail à la fois et les deux phases nécessitent 1 unité de temps. Après avoir été …

11 complexity-theory reference-request scheduling