L'informatique

1

Est-il plus facile d'emballer un sac de cadeaux pour Rupert que pour le Père Noël?

Ou: Avons-nous besoin de Rupert pour obtenir des cadeaux? Mis à part les problèmes de routage , le Père Noël est confronté au problème suivant (plusieurs fois): Étant donné un sac d'une capacité¹ CCC et un ensemble de cadeaux {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , chacun de taille sisis_i , il veut …

12 algorithms complexity-theory optimization packing

4

PRNG pour générer des nombres avec n bits définis exactement

J'écris actuellement du code pour générer des données binaires. J'ai spécifiquement besoin de générer des nombres 64 bits avec un nombre donné de bits définis; plus précisément, la procédure devrait prendre quelque 0<n<640<n<640 < n < 64 et retourner un nombre pseudo-aléatoire de 64 bits avec exactement nnn bits définis …

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

2

Prouver la tautologie avec coq

Actuellement, je dois apprendre le Coq et je ne sais pas comment gérer un or: Par exemple, aussi simple soit-il, je ne vois pas comment prouver: Theorem T0: x \/ ~x. J'apprécierais vraiment, si quelqu'un pouvait m'aider. Pour référence, j'utilise cette feuille de triche . Voici également un exemple de …

12 logic coq

5

Conjecture de Goldbach et nombres de castors occupés?

Contexte: Je suis un profane complet en informatique. Je lisais sur les chiffres de Castor occupé ici , et j'ai trouvé le passage suivant: L'humanité peut ne jamais connaître la valeur de BB (6) avec certitude, sans parler de celle de BB (7) ou d'un nombre supérieur dans la séquence. …

12 turing-machines number-theory busy-beaver

3

Problèmes conjecturés mais non avérés faciles

Nous avons beaucoup de problèmes, comme factorisation, qui sont fortement conjecturé, mais non prouvé, à l'extérieur P. Y a-t- il des questions avec la propriété opposée, à savoir qu'ils sont fortement conjecturé mais pas prouvé être à l' intérieur de P?

12 complexity-theory polynomial-time

3

Chaque algorithme auto-modifiable peut-il être modélisé par un algorithme non auto-modifiable?

Si nous avons un programme informatique arbitraire qui peut modifier ses instructions, est-il possible de simuler ce programme avec un programme qui ne peut pas modifier ses instructions? Éditer: Je suis nouveau sur stackexchange, donc je ne sais pas si je suis autorisé à poser une NOUVELLE question ici, mais …

12 computability computation-models turing-completeness church-turing-thesis

1

La différence entre logique dynamique et logique temporelle

Pour trouver la différence, je venais de rencontrer des affirmations ci-dessous sur la logique temporelle dans Wikipedia : une autre variante de la logique modale partageant de nombreuses caractéristiques communes avec la logique dynamique, diffère de toutes les logiques mentionnées ci-dessus en étant ce que Pnueli a qualifié de logique …

12 logic linear-temporal-logic temporal-logic

1

Une RAM peut-elle calculer son propre nombre de Gödel?

Vous pouvez obtenir le nombre Gödel d'une RAM en en faisant une liste de commandes et en faisant de cette liste un entier. Donc, ce que je pensais est quelque chose comme "La RAM qui retournerait son propre nombre Gödel (disons, ) devrait avoir l'information x , donc l'entier serait …

12 computability

2

Ce cas particulier de problème d'ordonnancement est-il résoluble en temps linéaire?

Alice, une étudiante, a beaucoup de devoirs au cours des prochaines semaines. Chaque devoir lui prend exactement une journée. Chaque élément a également une date limite et un impact négatif sur ses notes (supposez un nombre réel, des points bonus pour ne supposer que la comparabilité), si elle manque la …

12 algorithms optimization randomized-algorithms network-flow scheduling

2

Pourquoi FACTOR est-il dans Co-NP?

J'ai du mal à comprendre les problèmes PRIME, COMPOSITE, FACTOR et comment ils sont liés en termes de complexité. Je comprends que PRIME s'est révélé être en par le test de primalité AKS, et je pense que cela fonctionne également pour COMPOSITE.PPP Quant à FACTOR, FACTOR={(m,r):∃s such that1<s<r and s …

12 complexity-theory factoring

7

Comment trouver l'élément central de la liste chaînée en un seul passage?

L'une des questions les plus populaires concernant les structures de données et l'algorithme, principalement posée lors d'un entretien téléphonique.

12 algorithms data-structures linked-lists

3

Langages réguliers qui ne peuvent pas être exprimés avec seulement 2 opérations regex

Je pensais que toutes les langues régulières pouvaient être exprimées avec des expressions régulières (si une langue est régulière, elle peut être exprimée avec regex), mais on m'a dit que vous avez besoin des trois opérations régulières (concaténation, union et étoile) pour cela tenir. Par exemple, on m'a dit que …

12 formal-languages regular-languages regular-expressions kleene-star

2

Comment prouver P

Je suis conscient que cela semble une question très stupide (ou trop évidente à énoncer). Cependant, je suis confus à un moment donné. Nous pouvons montrer que P NP=== si et seulement si nous pouvons concevoir un algorithme qui résout une instance donnée de problème dans NP en temps polynomial. …

12 complexity-theory p-vs-np

1

Remplissage des bacs avec des paires de balles

Un bac est appelé plein s'il contient au moins kkk boules. Notre objectif est de remplir autant de bacs que possible. Dans le scénario le plus simple, on nous donne nnn balles et pouvons les arranger arbitrairement. Dans ce cas, évidemment, le mieux que nous puissions faire est de choisir …

12 combinatorics balls-and-bins

2

Y a-t-il un problème de post-correspondance dans NP?

Je viens de lire quelques pages du livre de Sipser Introduction à la théorie du calcul sur le problème de la correspondance postérieure, et je pense que PCP est en fait dans NP. Le certificateur est la suivante : pour une configuration de pile d'entrée concaténer t 1 , t …

12 complexity-theory decision-problem np