これは今しばらく受動的ユーザーになってからの私の最初の投稿です。可能であれば、いくつか質問をしたいと思います。私は数学者ではありませんが、私の質問は数学/コンピューターサイエンスの分野に関するものです。特に、P対NPの問題。これはエリートの専門家がまだ解決できていない問題であることを認識しています... とにかく、私は尋ねたい： 数学者でもプログラマーでもない人が、P vs NPの問題の1つに対する解決策を提供するとされる基本的な英語で書かれたフローチャートまたは一連のステップを考え出す場合、それは「証明する」と見なされますか？ P = NP ..クレイズインスティテュート賞を受賞するには:)？それとも、数学的な証明/コンピュータープログラムとしてソリューションを書く必要がありますか？ ありがとうございました。
私はあなたの次の支援を本当に楽しみにしています： 以下のための任意の固定以下の演算子の下の閉鎖があるかどうかを決定するIの必要性：L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\}。 関連するオプションは次のとおりです。 通常の言語は、 respの下で閉じられます。、すべての言語A r L 2AlAlA_lArArA_rL2L2L_2 一部の言語場合、通常の言語はそれぞれの下で閉じられます。、および一部の言語場合、通常の言語は respの下で閉じられません。。A l A r L 2 A l A rL2L2L_2AlAlA_lArArA_rL2L2L_2AlAlA_lArArA_r 私は（1）の答えは（2）であると信じていました。なぜなら、と単語を取得すると、がに変わる場所を推測できるオートマトンを構築できるからですが、それを検証する必要がありますに属し、それが規則的でない場合、それはそれをどのように行うのでしょうか？ その答えは（1）です。w∈Lw∈Lw \in Lw=xyw=xyw=xyxxxyyyyyyL2L2L_2 これらの演算子を正しく分析し、通常の言語がそれらの下で閉じられているかどうかを判断するには、どうすればよいですか？
合計が幅レジスタにも収まるように、固定幅整数（幅レジスタに収まる）、が与えられたとします。w a 1、a 2、… a n a 1 + a 2 + ⋯ + a n = S wnnnwwwa1、2、… ana1,a2,…ana_1, a_2, \dots a_na1+ a2+ ⋯ + an= Sa1+a2+⋯+an=Sa_1 + a_2 + \dots + a_n = Swww 各プレフィックスの和も幅レジスタに収まるように番号をいつでも置換できるように思えます。S i = b 1 + b 2 + ⋯ + b i wb1、b2、… …