CINXE.COM
計算複雑性理論 - Wikipedia
<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-sticky-header-enabled vector-toc-available" lang="ja" dir="ltr"> <head> <meta charset="UTF-8"> <title>計算複雑性理論 - Wikipedia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-sticky-header-enabled vector-toc-available";var cookie=document.cookie.match(/(?:^|; )jawikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"ja", "wgMonthNames":["","1月","2月","3月","4月","5月","6月","7月","8月","9月","10月","11月","12月"],"wgRequestId":"55b5f9a3-c999-478c-a619-abadf0f14267","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"計算複雑性理論","wgTitle":"計算複雑性理論","wgCurRevisionId":102714421,"wgRevisionId":102714421,"wgArticleId":2537,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["ISBNマジックリンクを使用しているページ","参照方法","すべてのスタブ記事","コンピュータ関連のスタブ項目","GND識別子が指定されている記事","J9U識別子が指定されている記事","LCCN識別子が指定されている記事","NKC識別子が指定されている記事","計算複雑性理論","理論計算機科学","計算理論","組合せ最適化","研究の計算分野","数学に関する記事"],"wgPageViewLanguage":"ja", "wgPageContentLanguage":"ja","wgPageContentModel":"wikitext","wgRelevantPageName":"計算複雑性理論","wgRelevantArticleId":2537,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"ja","pageLanguageDir":"ltr","pageVariantFallbacks":"ja"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":30000,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q205084","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"] ,"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.gadget.PDFLinkIcon":"ready","ext.gadget.RedirectColor":"ready","ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","site","mediawiki.page.ready","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.NormalizeCharWidth","ext.gadget.suppressEnterAtSummaryBox","ext.gadget.checkSignature", "ext.gadget.charinsert","ext.gadget.WikiMiniAtlas","ext.gadget.switcher","ext.gadget.protectionIndicator","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=ja&modules=ext.cite.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=ja&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=ja&modules=ext.gadget.PDFLinkIcon%2CRedirectColor&only=styles&skin=vector-2022"> <link rel="stylesheet" href="/w/load.php?lang=ja&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.15"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="計算複雑性理論 - Wikipedia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//ja.m.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"> <link rel="alternate" type="application/x-wiki" title="編集" href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (ja)"> <link rel="EditURI" type="application/rsd+xml" href="//ja.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://ja.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.ja"> <link rel="alternate" type="application/atom+xml" title="Wikipediaの Atom フィード" href="/w/index.php?title=%E7%89%B9%E5%88%A5:%E6%9C%80%E8%BF%91%E3%81%AE%E6%9B%B4%E6%96%B0&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-計算複雑性理論 rootpage-計算複雑性理論 skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">コンテンツにスキップ</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="サイト"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" title="メインメニュー" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="メインメニュー" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">メインメニュー</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">メインメニュー</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">サイドバーに移動</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">非表示</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> 案内 </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8" title="メインページに移動する[z]" accesskey="z"><span>メインページ</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedia:%E3%82%B3%E3%83%9F%E3%83%A5%E3%83%8B%E3%83%86%E3%82%A3%E3%83%BB%E3%83%9D%E3%83%BC%E3%82%BF%E3%83%AB" title="このプロジェクトについて、できること、情報を入手する場所"><span>コミュニティ・ポータル</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Portal:%E6%9C%80%E8%BF%91%E3%81%AE%E5%87%BA%E6%9D%A5%E4%BA%8B" title="最近の出来事の背景を知る"><span>最近の出来事</span></a></li><li id="n-newpages" class="mw-list-item"><a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%B0%E3%81%97%E3%81%84%E3%83%9A%E3%83%BC%E3%82%B8" title="最近新規に作成されたページの一覧"><span>新しいページ</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/%E7%89%B9%E5%88%A5:%E6%9C%80%E8%BF%91%E3%81%AE%E6%9B%B4%E6%96%B0" title="このウィキにおける最近の更新の一覧[r]" accesskey="r"><span>最近の更新</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/%E7%89%B9%E5%88%A5:%E3%81%8A%E3%81%BE%E3%81%8B%E3%81%9B%E8%A1%A8%E7%A4%BA" title="無作為に選択されたページを読み込む[x]" accesskey="x"><span>おまかせ表示</span></a></li><li id="n-sandbox" class="mw-list-item"><a href="/wiki/Wikipedia:%E3%82%B5%E3%83%B3%E3%83%89%E3%83%9C%E3%83%83%E3%82%AF%E3%82%B9" title="練習用のページ"><span>練習用ページ</span></a></li><li id="n-commonsupload" class="mw-list-item"><a href="//commons.wikimedia.org/wiki/Special:UploadWizard?uselang=ja" title="画像やメディアファイルをウィキメディア・コモンズにアップロード"><span>アップロード (ウィキメディア・コモンズ)</span></a></li> </ul> </div> </div> <div id="p-help" class="vector-menu mw-portlet mw-portlet-help" > <div class="vector-menu-heading"> ヘルプ </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-help" class="mw-list-item"><a href="/wiki/Help:%E7%9B%AE%E6%AC%A1" title="情報を得る場所"><span>ヘルプ</span></a></li><li id="n-villagepump" class="mw-list-item"><a href="/wiki/Wikipedia:%E4%BA%95%E6%88%B8%E7%AB%AF" title="プロジェクトについての意見交換"><span>井戸端</span></a></li><li id="n-notice" class="mw-list-item"><a href="/wiki/Wikipedia:%E3%81%8A%E7%9F%A5%E3%82%89%E3%81%9B" title="プロジェクトについてのお知らせ"><span>お知らせ</span></a></li><li id="n-bugreportspage" class="mw-list-item"><a href="/wiki/Wikipedia:%E3%83%90%E3%82%B0%E3%81%AE%E5%A0%B1%E5%91%8A" title="ウィキペディア・ソフトウェアのバグ報告"><span>バグの報告</span></a></li><li id="n-contact" class="mw-list-item"><a href="/wiki/Wikipedia:%E9%80%A3%E7%B5%A1%E5%85%88" title="ウィキペディアやウィキメディア財団に関する連絡先"><span>ウィキペディアに関するお問い合わせ</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-ja.svg" style="width: 7.5em; height: 1.25em;"> <img class="mw-logo-tagline" alt="" src="/static/images/mobile/copyright/wikipedia-tagline-ja.svg" width="100" height="14" style="width: 6.25em; height: 0.875em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/%E7%89%B9%E5%88%A5:%E6%A4%9C%E7%B4%A2" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Wikipedia内を検索[f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>検索</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Wikipedia内を検索" aria-label="Wikipedia内を検索" autocapitalize="sentences" title="Wikipedia内を検索[f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="特別:検索"> </div> <button class="cdx-button cdx-search-input__end-button">検索</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="個人用ツール"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="表示"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="ページのフォントサイズ、幅、色の外観を変更する" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="表示" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">表示</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=ja.wikipedia.org&uselang=ja" class=""><span>寄付</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=%E7%89%B9%E5%88%A5:%E3%82%A2%E3%82%AB%E3%82%A6%E3%83%B3%E3%83%88%E4%BD%9C%E6%88%90&returnto=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96" title="アカウントを作成してログインすることをお勧めしますが、必須ではありません" class=""><span>アカウント作成</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=%E7%89%B9%E5%88%A5:%E3%83%AD%E3%82%B0%E3%82%A4%E3%83%B3&returnto=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96" title="ログインすることを推奨します。ただし、必須ではありません。[o]" accesskey="o" class=""><span>ログイン</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="その他の操作" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="個人用ツール" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">個人用ツール</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="利用者メニュー" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=ja.wikipedia.org&uselang=ja"><span>寄付</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=%E7%89%B9%E5%88%A5:%E3%82%A2%E3%82%AB%E3%82%A6%E3%83%B3%E3%83%88%E4%BD%9C%E6%88%90&returnto=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96" title="アカウントを作成してログインすることをお勧めしますが、必須ではありません"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>アカウント作成</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=%E7%89%B9%E5%88%A5:%E3%83%AD%E3%82%B0%E3%82%A4%E3%83%B3&returnto=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96" title="ログインすることを推奨します。ただし、必須ではありません。[o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>ログイン</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> ログアウトした編集者のページ <a href="/wiki/Wikipedia:%E3%82%A6%E3%82%A3%E3%82%AD%E3%83%9A%E3%83%87%E3%82%A3%E3%82%A2%E3%81%B8%E3%82%88%E3%81%86%E3%81%93%E3%81%9D" aria-label="編集の詳細"><span>もっと詳しく</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/%E7%89%B9%E5%88%A5:%E8%87%AA%E5%88%86%E3%81%AE%E6%8A%95%E7%A8%BF%E8%A8%98%E9%8C%B2" title="このIPアドレスからなされた編集の一覧[y]" accesskey="y"><span>投稿記録</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/%E7%89%B9%E5%88%A5:%E3%83%88%E3%83%BC%E3%82%AF%E3%83%9A%E3%83%BC%E3%82%B8" title="このIPアドレスからなされた編集についての議論[n]" accesskey="n"><span>トーク</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"><!-- CentralNotice --></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="サイト"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="目次" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">目次</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">サイドバーに移動</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">非表示</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">ページ先頭</div> </a> </li> <li id="toc-概要" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#概要"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>概要</span> </div> </a> <ul id="toc-概要-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-計算問題と計算量・複雑性" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#計算問題と計算量・複雑性"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>計算問題と計算量・複雑性</span> </div> </a> <ul id="toc-計算問題と計算量・複雑性-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-決定問題" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#決定問題"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>決定問題</span> </div> </a> <ul id="toc-決定問題-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-計算資源" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#計算資源"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>計算資源</span> </div> </a> <ul id="toc-計算資源-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-複雑性クラス" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#複雑性クラス"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>複雑性クラス</span> </div> </a> <button aria-controls="toc-複雑性クラス-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>複雑性クラスサブセクションを切り替えます</span> </button> <ul id="toc-複雑性クラス-sublist" class="vector-toc-list"> <li id="toc-主な複雑性クラス" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#主な複雑性クラス"> <div class="vector-toc-text"> <span class="vector-toc-numb">5.1</span> <span>主な複雑性クラス</span> </div> </a> <ul id="toc-主な複雑性クラス-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-未解決の問題" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#未解決の問題"> <div class="vector-toc-text"> <span class="vector-toc-numb">6</span> <span>未解決の問題</span> </div> </a> <button aria-controls="toc-未解決の問題-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>未解決の問題サブセクションを切り替えます</span> </button> <ul id="toc-未解決の問題-sublist" class="vector-toc-list"> <li id="toc-P_=_NP_問題" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#P_=_NP_問題"> <div class="vector-toc-text"> <span class="vector-toc-numb">6.1</span> <span>P = NP 問題</span> </div> </a> <ul id="toc-P_=_NP_問題-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-NPにおける不完全問題" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#NPにおける不完全問題"> <div class="vector-toc-text"> <span class="vector-toc-numb">6.2</span> <span>NPにおける不完全問題</span> </div> </a> <ul id="toc-NPにおける不完全問題-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-NP_=_co-NP" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#NP_=_co-NP"> <div class="vector-toc-text"> <span class="vector-toc-numb">6.3</span> <span>NP = co-NP</span> </div> </a> <ul id="toc-NP_=_co-NP-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-イントラクタブル" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#イントラクタブル"> <div class="vector-toc-text"> <span class="vector-toc-numb">7</span> <span>イントラクタブル</span> </div> </a> <ul id="toc-イントラクタブル-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-主な研究者" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#主な研究者"> <div class="vector-toc-text"> <span class="vector-toc-numb">8</span> <span>主な研究者</span> </div> </a> <ul id="toc-主な研究者-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-脚注" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#脚注"> <div class="vector-toc-text"> <span class="vector-toc-numb">9</span> <span>脚注</span> </div> </a> <ul id="toc-脚注-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-参考文献" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#参考文献"> <div class="vector-toc-text"> <span class="vector-toc-numb">10</span> <span>参考文献</span> </div> </a> <button aria-controls="toc-参考文献-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>参考文献サブセクションを切り替えます</span> </button> <ul id="toc-参考文献-sublist" class="vector-toc-list"> <li id="toc-洋書" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#洋書"> <div class="vector-toc-text"> <span class="vector-toc-numb">10.1</span> <span>洋書</span> </div> </a> <ul id="toc-洋書-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-和書" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#和書"> <div class="vector-toc-text"> <span class="vector-toc-numb">10.2</span> <span>和書</span> </div> </a> <ul id="toc-和書-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-関連項目" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#関連項目"> <div class="vector-toc-text"> <span class="vector-toc-numb">11</span> <span>関連項目</span> </div> </a> <ul id="toc-関連項目-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-外部リンク" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#外部リンク"> <div class="vector-toc-text"> <span class="vector-toc-numb">12</span> <span>外部リンク</span> </div> </a> <ul id="toc-外部リンク-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="目次" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" title="目次" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="目次の表示・非表示を切り替え" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">目次の表示・非表示を切り替え</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">計算複雑性理論</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="特定の記事の別の言語版に移動します。 利用可能な言語35件" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-35" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">35の言語版</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D8%AA%D8%B9%D9%82%D9%8A%D8%AF_%D8%A7%D9%84%D8%AD%D8%B3%D8%A7%D8%A8%D9%8A" title="アラビア語: نظرية التعقيد الحسابي" lang="ar" hreflang="ar" data-title="نظرية التعقيد الحسابي" data-language-autonym="العربية" data-language-local-name="アラビア語" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-ast mw-list-item"><a href="https://ast.wikipedia.org/wiki/Teor%C3%ADa_de_la_complexid%C3%A1_computacional" title="アストゥリアス語: Teoría de la complexidá computacional" lang="ast" hreflang="ast" data-title="Teoría de la complexidá computacional" data-language-autonym="Asturianu" data-language-local-name="アストゥリアス語" class="interlanguage-link-target"><span>Asturianu</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/Hesablama_m%C3%BCr%C9%99kk%C9%99bliyi_n%C9%99z%C9%99riyy%C9%99si" title="アゼルバイジャン語: Hesablama mürəkkəbliyi nəzəriyyəsi" lang="az" hreflang="az" data-title="Hesablama mürəkkəbliyi nəzəriyyəsi" data-language-autonym="Azərbaycanca" data-language-local-name="アゼルバイジャン語" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%BD%D0%B0_%D0%B8%D0%B7%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D1%82%D0%B5%D0%BB%D0%BD%D0%B0%D1%82%D0%B0_%D1%81%D0%BB%D0%BE%D0%B6%D0%BD%D0%BE%D1%81%D1%82" title="ブルガリア語: Теория на изчислителната сложност" lang="bg" hreflang="bg" data-title="Теория на изчислителната сложност" data-language-autonym="Български" data-language-local-name="ブルガリア語" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%AA%E0%A6%B0%E0%A6%BF%E0%A6%97%E0%A6%A3%E0%A6%A8%E0%A6%BE%E0%A6%AE%E0%A7%82%E0%A6%B2%E0%A6%95_%E0%A6%9C%E0%A6%9F%E0%A6%BF%E0%A6%B2%E0%A6%A4%E0%A6%BE_%E0%A6%A4%E0%A6%A4%E0%A7%8D%E0%A6%A4%E0%A7%8D%E0%A6%AC" title="ベンガル語: পরিগণনামূলক জটিলতা তত্ত্ব" lang="bn" hreflang="bn" data-title="পরিগণনামূলক জটিলতা তত্ত্ব" data-language-autonym="বাংলা" data-language-local-name="ベンガル語" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Teoria_de_la_complexitat_computacional" title="カタロニア語: Teoria de la complexitat computacional" lang="ca" hreflang="ca" data-title="Teoria de la complexitat computacional" data-language-autonym="Català" data-language-local-name="カタロニア語" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Teorie_slo%C5%BEitosti" title="チェコ語: Teorie složitosti" lang="cs" hreflang="cs" data-title="Teorie složitosti" data-language-autonym="Čeština" data-language-local-name="チェコ語" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-de badge-Q17437796 badge-featuredarticle mw-list-item" title="秀逸な記事"><a href="https://de.wikipedia.org/wiki/Komplexit%C3%A4tstheorie" title="ドイツ語: Komplexitätstheorie" lang="de" hreflang="de" data-title="Komplexitätstheorie" data-language-autonym="Deutsch" data-language-local-name="ドイツ語" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%80%CE%BF%CE%BB%CF%85%CF%80%CE%BB%CE%BF%CE%BA%CF%8C%CF%84%CE%B7%CF%84%CE%B1%CF%82" title="ギリシャ語: Θεωρία πολυπλοκότητας" lang="el" hreflang="el" data-title="Θεωρία πολυπλοκότητας" data-language-autonym="Ελληνικά" data-language-local-name="ギリシャ語" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Computational_complexity_theory" title="英語: Computational complexity theory" lang="en" hreflang="en" data-title="Computational complexity theory" data-language-autonym="English" data-language-local-name="英語" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Teor%C3%ADa_de_la_complejidad_computacional" title="スペイン語: Teoría de la complejidad computacional" lang="es" hreflang="es" data-title="Teoría de la complejidad computacional" data-language-autonym="Español" data-language-local-name="スペイン語" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Konplexutasun_konputazionalaren_teoria" title="バスク語: Konplexutasun konputazionalaren teoria" lang="eu" hreflang="eu" data-title="Konplexutasun konputazionalaren teoria" data-language-autonym="Euskara" data-language-local-name="バスク語" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%BE%DB%8C%DA%86%DB%8C%D8%AF%DA%AF%DB%8C_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA%DB%8C" title="ペルシア語: نظریه پیچیدگی محاسباتی" lang="fa" hreflang="fa" data-title="نظریه پیچیدگی محاسباتی" data-language-autonym="فارسی" data-language-local-name="ペルシア語" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Laskennallisen_kompleksisuuden_teoria" title="フィンランド語: Laskennallisen kompleksisuuden teoria" lang="fi" hreflang="fi" data-title="Laskennallisen kompleksisuuden teoria" data-language-autonym="Suomi" data-language-local-name="フィンランド語" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_complexit%C3%A9_(informatique_th%C3%A9orique)" title="フランス語: Théorie de la complexité (informatique théorique)" lang="fr" hreflang="fr" data-title="Théorie de la complexité (informatique théorique)" data-language-autonym="Français" data-language-local-name="フランス語" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%AA%D7%95%D7%A8%D7%AA_%D7%94%D7%A1%D7%99%D7%91%D7%95%D7%9B%D7%99%D7%95%D7%AA" title="ヘブライ語: תורת הסיבוכיות" lang="he" hreflang="he" data-title="תורת הסיבוכיות" data-language-autonym="עברית" data-language-local-name="ヘブライ語" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Ra%C4%8Dunska_teorija_slo%C5%BEenosti" title="クロアチア語: Računska teorija složenosti" lang="hr" hreflang="hr" data-title="Računska teorija složenosti" data-language-autonym="Hrvatski" data-language-local-name="クロアチア語" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Teoria_della_complessit%C3%A0_computazionale" title="イタリア語: Teoria della complessità computazionale" lang="it" hreflang="it" data-title="Teoria della complessità computazionale" data-language-autonym="Italiano" data-language-local-name="イタリア語" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EA%B3%84%EC%82%B0_%EB%B3%B5%EC%9E%A1%EB%8F%84_%EC%9D%B4%EB%A1%A0" title="韓国語: 계산 복잡도 이론" lang="ko" hreflang="ko" data-title="계산 복잡도 이론" data-language-autonym="한국어" data-language-local-name="韓国語" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-ms mw-list-item"><a href="https://ms.wikipedia.org/wiki/Teori_kekompleksan_pengiraan" title="マレー語: Teori kekompleksan pengiraan" lang="ms" hreflang="ms" data-title="Teori kekompleksan pengiraan" data-language-autonym="Bahasa Melayu" data-language-local-name="マレー語" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Computationele_complexiteitstheorie" title="オランダ語: Computationele complexiteitstheorie" lang="nl" hreflang="nl" data-title="Computationele complexiteitstheorie" data-language-autonym="Nederlands" data-language-local-name="オランダ語" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Kompleksitetsteori" title="ノルウェー語(ブークモール): Kompleksitetsteori" lang="nb" hreflang="nb" data-title="Kompleksitetsteori" data-language-autonym="Norsk bokmål" data-language-local-name="ノルウェー語(ブークモール)" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Teoria_complexit%C4%83%C8%9Bii" title="ルーマニア語: Teoria complexității" lang="ro" hreflang="ro" data-title="Teoria complexității" data-language-autonym="Română" data-language-local-name="ルーマニア語" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%81%D0%BB%D0%BE%D0%B6%D0%BD%D0%BE%D1%81%D1%82%D0%B8_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B9" title="ロシア語: Теория сложности вычислений" lang="ru" hreflang="ru" data-title="Теория сложности вычислений" data-language-autonym="Русский" data-language-local-name="ロシア語" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Ra%C4%8Dunska_teorija_slo%C5%BEenosti" title="セルボ・クロアチア語: Računska teorija složenosti" lang="sh" hreflang="sh" data-title="Računska teorija složenosti" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="セルボ・クロアチア語" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Computational_complexity_theory" title="シンプル英語: Computational complexity theory" lang="en-simple" hreflang="en-simple" data-title="Computational complexity theory" data-language-autonym="Simple English" data-language-local-name="シンプル英語" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Te%C3%B3ria_zlo%C5%BEitosti" title="スロバキア語: Teória zložitosti" lang="sk" hreflang="sk" data-title="Teória zložitosti" data-language-autonym="Slovenčina" data-language-local-name="スロバキア語" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%98%D0%B0_%D0%BA%D0%BE%D0%BC%D0%BF%D0%BB%D0%B5%D0%BA%D1%81%D0%BD%D0%BE%D1%81%D1%82%D0%B8" title="セルビア語: Теорија комплексности" lang="sr" hreflang="sr" data-title="Теорија комплексности" data-language-autonym="Српски / srpski" data-language-local-name="セルビア語" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%97%E0%B8%A4%E0%B8%A9%E0%B8%8E%E0%B8%B5%E0%B8%84%E0%B8%A7%E0%B8%B2%E0%B8%A1%E0%B8%8B%E0%B8%B1%E0%B8%9A%E0%B8%8B%E0%B9%89%E0%B8%AD%E0%B8%99%E0%B9%83%E0%B8%99%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B8%84%E0%B8%B3%E0%B8%99%E0%B8%A7%E0%B8%93" title="タイ語: ทฤษฎีความซับซ้อนในการคำนวณ" lang="th" hreflang="th" data-title="ทฤษฎีความซับซ้อนในการคำนวณ" data-language-autonym="ไทย" data-language-local-name="タイ語" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Teorya_ng_komputasyonal_na_komplehidad" title="タガログ語: Teorya ng komputasyonal na komplehidad" lang="tl" hreflang="tl" data-title="Teorya ng komputasyonal na komplehidad" data-language-autonym="Tagalog" data-language-local-name="タガログ語" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Hesaplamal%C4%B1_karma%C5%9F%C4%B1kl%C4%B1k_teorisi" title="トルコ語: Hesaplamalı karmaşıklık teorisi" lang="tr" hreflang="tr" data-title="Hesaplamalı karmaşıklık teorisi" data-language-autonym="Türkçe" data-language-local-name="トルコ語" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D1%81%D0%BA%D0%BB%D0%B0%D0%B4%D0%BD%D0%BE%D1%81%D1%82%D1%96_%D0%BE%D0%B1%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D1%8C" title="ウクライナ語: Теорія складності обчислень" lang="uk" hreflang="uk" data-title="Теорія складності обчислень" data-language-autonym="Українська" data-language-local-name="ウクライナ語" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/L%C3%BD_thuy%E1%BA%BFt_%C4%91%E1%BB%99_ph%E1%BB%A9c_t%E1%BA%A1p_t%C3%ADnh_to%C3%A1n" title="ベトナム語: Lý thuyết độ phức tạp tính toán" lang="vi" hreflang="vi" data-title="Lý thuyết độ phức tạp tính toán" data-language-autonym="Tiếng Việt" data-language-local-name="ベトナム語" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%9C%E6%80%A7%E7%90%86%E8%AB%96" title="中国語: 計算複雜性理論" lang="zh" hreflang="zh" data-title="計算複雜性理論" data-language-autonym="中文" data-language-local-name="中国語" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E9%81%8B%E7%AE%97%E8%A4%87%E9%9B%9C%E5%BA%A6%E7%90%86%E8%AB%96" title="広東語: 運算複雜度理論" lang="yue" hreflang="yue" data-title="運算複雜度理論" data-language-autonym="粵語" data-language-local-name="広東語" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q205084#sitelinks-wikipedia" title="言語間リンクを編集" class="wbc-editpage">リンクを編集</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="名前空間"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96" title="本文を閲覧[c]" accesskey="c"><span>ページ</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/%E3%83%8E%E3%83%BC%E3%83%88:%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96" rel="discussion" title="本文ページについての議論[t]" accesskey="t"><span>ノート</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="別の言語に切り替える" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">日本語</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="表示"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"><span>閲覧</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit" title="このページのソースコードを編集する[e]" accesskey="e"><span>編集</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=history" title="このページの過去の版[h]" accesskey="h"><span>履歴を表示</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="ページツール"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="ツール" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">ツール</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">ツール</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">サイドバーに移動</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">非表示</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="その他の操作" > <div class="vector-menu-heading"> 操作 </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"><span>閲覧</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit" title="このページのソースコードを編集する[e]" accesskey="e"><span>編集</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=history"><span>履歴を表示</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> 全般 </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/%E7%89%B9%E5%88%A5:%E3%83%AA%E3%83%B3%E3%82%AF%E5%85%83/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96" title="ここにリンクしている全ウィキページの一覧[j]" accesskey="j"><span>リンク元</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/%E7%89%B9%E5%88%A5:%E9%96%A2%E9%80%A3%E3%83%9A%E3%83%BC%E3%82%B8%E3%81%AE%E6%9B%B4%E6%96%B0%E7%8A%B6%E6%B3%81/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96" rel="nofollow" title="このページからリンクしているページの最近の更新[k]" accesskey="k"><span>関連ページの更新状況</span></a></li><li id="t-upload" class="mw-list-item"><a href="//ja.wikipedia.org/wiki/Wikipedia:ファイルのアップロード" title="ファイルをアップロードする[u]" accesskey="u"><span>ファイルをアップロード</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/%E7%89%B9%E5%88%A5:%E7%89%B9%E5%88%A5%E3%83%9A%E3%83%BC%E3%82%B8%E4%B8%80%E8%A6%A7" title="特別ページの一覧[q]" accesskey="q"><span>特別ページ</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&oldid=102714421" title="このページのこの版への固定リンク"><span>この版への固定リンク</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=info" title="このページについての詳細情報"><span>ページ情報</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=%E7%89%B9%E5%88%A5:%E3%81%93%E3%81%AE%E3%83%9A%E3%83%BC%E3%82%B8%E3%82%92%E5%BC%95%E7%94%A8&page=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&id=102714421&wpFormIdentifier=titleform" title="このページの引用方法"><span>このページを引用</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=%E7%89%B9%E5%88%A5:UrlShortener&url=https%3A%2F%2Fja.wikipedia.org%2Fwiki%2F%25E8%25A8%2588%25E7%25AE%2597%25E8%25A4%2587%25E9%259B%2591%25E6%2580%25A7%25E7%2590%2586%25E8%25AB%2596"><span>短縮URLを取得する</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=%E7%89%B9%E5%88%A5:QrCode&url=https%3A%2F%2Fja.wikipedia.org%2Fwiki%2F%25E8%25A8%2588%25E7%25AE%2597%25E8%25A4%2587%25E9%259B%2591%25E6%2580%25A7%25E7%2590%2586%25E8%25AB%2596"><span>QRコードをダウンロード</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> 印刷/書き出し </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=%E7%89%B9%E5%88%A5:%E3%83%96%E3%83%83%E3%82%AF&bookcmd=book_creator&referer=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"><span>ブックの新規作成</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=%E7%89%B9%E5%88%A5:DownloadAsPdf&page=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=show-download-screen"><span>PDF 形式でダウンロード</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&printable=yes" title="このページの印刷用ページ[p]" accesskey="p"><span>印刷用バージョン</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> 他のプロジェクト </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Computational_complexity_theory" hreflang="en"><span>コモンズ</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q205084" title="関連付けられたデータリポジトリ項目へのリンク[g]" accesskey="g"><span>ウィキデータ項目</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="ページツール"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="表示"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">表示</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">サイドバーに移動</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">非表示</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">出典: フリー百科事典『ウィキペディア（Wikipedia）』</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="ja" dir="ltr"><p><b>計算複雑性理論</b>（けいさんふくざつせいりろん、<a href="/wiki/%E8%8B%B1%E8%AA%9E" title="英語">英</a>: <span lang="en">computational complexity theory</span>）とは、<a href="/wiki/%E8%A8%88%E7%AE%97%E6%A9%9F%E7%A7%91%E5%AD%A6" title="計算機科学">計算機科学</a>における<a href="/wiki/%E8%A8%88%E7%AE%97%E7%90%86%E8%AB%96" title="計算理論">計算理論</a>の一分野であり、<a href="/wiki/%E3%82%A2%E3%83%AB%E3%82%B4%E3%83%AA%E3%82%BA%E3%83%A0" title="アルゴリズム">アルゴリズム</a>の<a href="/wiki/%E3%82%B9%E3%82%B1%E3%83%BC%E3%83%A9%E3%83%93%E3%83%AA%E3%83%86%E3%82%A3" title="スケーラビリティ">スケーラビリティ</a>や、特定の計算問題の解法の<a href="/wiki/%E8%A4%87%E9%9B%91%E6%80%A7" title="複雑性">複雑性</a>（計算問題の困難さ）などを数学的に扱う。<b>計算量理論</b>、<b>計算の複雑さの理論</b>、<b>計算複雑度の理論</b>ともいう。 </p> <div style="margin:auto 2em; font-size:95%;">「計算量」と「計算複雑性」はともに <span lang="en">computational complexity</span> に対応する語であるが、個々のアルゴリズムの効率に着目する文脈では「計算量」が広く用いられるのに対し、問題に内在する本質的困難さを表す意識からは「複雑性」「複雑さ」が好まれる傾向がある。</div> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="概要"><span id=".E6.A6.82.E8.A6.81"></span>概要</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=1" title="節を編集: 概要"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>計算複雑性理論は<a href="/wiki/%E8%A8%88%E7%AE%97%E5%8F%AF%E8%83%BD%E9%96%A2%E6%95%B0" title="計算可能関数">計算可能関数</a>の計算の複雑さを扱う。計算理論のもう一つの重要な分野である<a href="/wiki/%E8%A8%88%E7%AE%97%E5%8F%AF%E8%83%BD%E6%80%A7%E7%90%86%E8%AB%96" title="計算可能性理論">計算可能性理論</a>では問題の解法があるかどうかだけを扱い、その複雑さや必要とする計算資源量は問わない点が異なる。 </p><p>具体的には、計算複雑性理論は「あるアルゴリズムへの入力データの長さを増やしたとき、実行時間や必要な記憶量はどのように増えるか？」という問いに答える。これは、<a href="/wiki/%E8%A8%88%E7%AE%97%E6%A9%9F" title="計算機">計算機</a>の実際的な限界を与えるものであり、この理論は産業や社会にとって重要な意味を持つ。なぜならば、計算機の性能は向上しているが、解析すべき情報も増加しているため、アルゴリズムが入力データ長の増大にうまく対応できるか否かで、計算機が現実的な問題を解決するのに役に立つか否かが決まるからである。 </p><p>計算複雑性理論では、計算問題やそれを解くアルゴリズムを、NPやPといった複雑性クラスに分類する。個々の計算問題を少ない計算資源で解くアルゴリズムを発見することはもちろん計算機科学の重要な課題だが、複雑性理論ではこれにとどまらず、計算問題が何らかの複雑性クラスに属すること、あるいは属しないことを証明したり、クラス間の階層構造を解明することも目標とする。 </p><p>計算量 t<sub>C</sub> をもつ複雑性クラス C に 或る計算問題 X が属する とは、あるアルゴリズム A が存在して、問題 X が A により t<sub>C</sub>以下で解決されることを意味し、問題 X の複雑性の上界を与える。そして、よりよい上界を求めることは、問題 X をより少ない計算資源で解くアルゴリズムを発見する(あるいはその存在を示す)ことに他ならず、産業界において有意義である。また、ある計算問題 X が、ある複雑性クラス C に属しないとは、問題 X は、いかなるアルゴリズムをもってしても、計算量 t<sub>C</sub> 以下では解決できないことを意味し、問題 X の複雑性の下界を与える。計算問題の下界を示すことは、理論的意義を有するだけではなくて、<a href="/wiki/%E6%9A%97%E5%8F%B7%E7%90%86%E8%AB%96" title="暗号理論">暗号理論</a>においては、ある暗号方式が計算量的に解読不能であることを示すことを意味し、実際的な価値がある。 </p><p>現在の計算複雑性理論の最も重要な課題は、<a href="/wiki/P%E2%89%A0NP%E4%BA%88%E6%83%B3" title="P≠NP予想">P≠NP予想</a>の証明である。この予想は提起された当初それほど重要とは見なされなかったが、産業において重要な<a href="/wiki/%E3%82%AA%E3%83%9A%E3%83%AC%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3%E3%82%BA%E3%83%AA%E3%82%B5%E3%83%BC%E3%83%81" class="mw-redirect" title="オペレーションズリサーチ">オペレーションズリサーチ</a>の問題の多くが<a href="/wiki/NP" title="NP">NP</a>の部分クラスに属する<a href="/wiki/NP%E5%AE%8C%E5%85%A8%E5%95%8F%E9%A1%8C" title="NP完全問題">NP完全問題</a>であることが明らかになるにつれて重要性を増してきた。NP完全問題は、解が正しいかどうかは簡単に確かめられるが、正確な解を探す方法はスケーラブルではない問題である。NPクラスがPクラスより範囲が広いことが確定すると、それらの問題にはスケーラブルな解が存在しないことが確定する。このため、P≠NP予想の証明は重要とされているのである。 </p> <div class="mw-heading mw-heading2"><h2 id="計算問題と計算量・複雑性"><span id=".E8.A8.88.E7.AE.97.E5.95.8F.E9.A1.8C.E3.81.A8.E8.A8.88.E7.AE.97.E9.87.8F.E3.83.BB.E8.A4.87.E9.9B.91.E6.80.A7"></span>計算問題と計算量・複雑性</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=2" title="節を編集: 計算問題と計算量・複雑性"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>計算複雑性理論で扱う<b>問題</b>とは、ある一連の問いの集合があり、各問いは有限長の<a href="/wiki/%E6%96%87%E5%AD%97%E5%88%97" title="文字列">文字列</a>で表され、与えられた問いに対して解を求めて出力する計算問題である。例えば、<a href="/wiki/%E7%B4%A0%E5%9B%A0%E6%95%B0%E5%88%86%E8%A7%A3" title="素因数分解"><i>FACTORIZE</i></a>問題とは「<a href="/wiki/%E4%BA%8C%E9%80%B2%E8%A8%98%E6%95%B0%E6%B3%95" class="mw-redirect" title="二進記数法">二進数</a>で書かれた1つの整数について、その<a href="/wiki/%E7%B4%A0%E6%95%B0" title="素数">素因数</a>を全部求めて返す」という問題である。問題に属する個別の問いを<b>インスタンス</b>と呼ぶ。例えば、「15 の素因数を求めよ」は <i>FACTORIZE</i> 問題のインスタンスである。 </p><p><a href="/wiki/%E3%82%A2%E3%83%AB%E3%82%B4%E3%83%AA%E3%82%BA%E3%83%A0" title="アルゴリズム">アルゴリズム</a>の<b>計算量</b>（けいさんりょう）とは、<a href="/wiki/%E8%A8%88%E7%AE%97%E6%A9%9F" title="計算機">計算機</a>がそのアルゴリズムの実行に要する計算資源の量をいい、アルゴリズムの<a href="/wiki/%E3%82%B9%E3%82%B1%E3%83%BC%E3%83%A9%E3%83%93%E3%83%AA%E3%83%86%E3%82%A3" title="スケーラビリティ">スケーラビリティ</a>を示す。形式的には計算機を<a href="/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E6%A9%9F%E6%A2%B0" class="mw-redirect" title="チューリング機械">チューリング機械</a>や<a href="/w/index.php?title=%E3%83%A9%E3%83%B3%E3%83%80%E3%83%A0%E3%82%A2%E3%82%AF%E3%82%BB%E3%82%B9%E6%A9%9F%E6%A2%B0&action=edit&redlink=1" class="new" title="ランダムアクセス機械 (存在しないページ)">ランダムアクセス機械</a>（<span lang="en">random access machine</span>）などの<a href="/wiki/%E8%A8%88%E7%AE%97%E6%A8%A1%E5%9E%8B" class="mw-redirect" title="計算模型">計算モデル</a>として定式化したうえで、アルゴリズムの使用する資源の量を入力データ長などに対する<a href="/wiki/%E9%96%A2%E6%95%B0_(%E6%95%B0%E5%AD%A6)" title="関数 (数学)">関数</a>として表す。計算モデルの瑣末な詳細に影響を受けないよう、計算量はその漸近的な挙動のみに注目し、定数倍を無視する<a href="/wiki/%E3%83%A9%E3%83%B3%E3%83%80%E3%82%A6%E3%81%AE%E8%A8%98%E5%8F%B7" title="ランダウの記号">O記法</a>で書き表すことが多い。計算モデルとしては、<a href="/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E6%A9%9F%E6%A2%B0" class="mw-redirect" title="チューリング機械">チューリング機械</a>や<a href="/wiki/%E8%AB%96%E7%90%86%E5%9B%9E%E8%B7%AF" title="論理回路">論理回路</a>などがある。計算資源の量としては、チューリング機械における<b>時間計算量</b>（動作ステップ数）や<b>空間計算量</b>（テープ長）、また論理回路における素子数や深さなどがある。 </p> <ul><li><b>時間計算量</b>は、あるアルゴリズムを使ったときに問題のインスタンスを解くのに要するステップ数を意味し、入力データの長さ（ビット数などで表現できる）の関数として表される。シンプルな例として、ある問題に対する解法が <i>n</i>ビットの入力に対して、ある計算モデルで <i>n</i><sup>2</sup> ステップで動作する場合、時間計算量は <i>n</i><sup>2</sup> であるが、他のほとんどの計算モデルでも、時間計算量は漸近的には定数倍の違いしかなく、<a href="/wiki/%E3%83%A9%E3%83%B3%E3%83%80%E3%82%A6%E3%81%AE%E8%A8%98%E5%8F%B7" title="ランダウの記号">O記法</a>を使えば計算モデルによらず問題の時間計算量をO(<i>n</i><sup>2</sup>) と表せる。計算を芝生を刈る作業にたとえれば、その時間計算量は線型であり、芝生の面積が2倍になれば時間も2倍かかる。この面積が2倍になれば時間も2倍になるという関係は、芝刈機の速度には関係しない。しかし、辞書を<a href="/wiki/%E4%BA%8C%E5%88%86%E6%8E%A2%E7%B4%A2" title="二分探索">二分探索</a>する場合の時間計算量は対数時間であり、辞書の厚さが2倍になっても、二分探索のステップが1増加するだけである。</li> <li><b>空間計算量</b>は、同様の概念であり、アルゴリズムが必要とする記憶容量を意味する。例えば、紙とペンを使って計算を行う際に要する紙の枚数に相当する。空間計算量にも<a href="/wiki/%E3%83%A9%E3%83%B3%E3%83%80%E3%82%A6%E3%81%AE%E8%A8%98%E5%8F%B7" title="ランダウの記号">O記法</a>が使われる。</li></ul> <p>計算モデルによっては、これらとは異なる計算量が使われることもあり、例えば<b><a href="/wiki/%E5%9B%9E%E8%B7%AF%E8%A8%88%E7%AE%97%E9%87%8F" title="回路計算量">回路計算量</a></b>がある。これは問題の解法を<a href="/wiki/%E3%83%96%E3%83%BC%E3%83%AB%E8%AB%96%E7%90%86" title="ブール論理">ブール論理</a>による<a href="/wiki/%E8%AB%96%E7%90%86%E5%9B%9E%E8%B7%AF" title="論理回路">論理回路</a>ゲートに置き換え、その回路の規模で計算量を現すものである。これは<a href="/wiki/%E9%9B%86%E7%A9%8D%E5%9B%9E%E8%B7%AF" title="集積回路">集積回路</a>の設計などで利用される。 </p><p>計算問題の<b>複雑性</b>（または計算量）とは、それがどの計算モデルにおいて、どれほどの計算量のアルゴリズムによって解けるかで測られる。直感的には、問題の計算量は、最も効率のよいアルゴリズムを使ったときに問題のインスタンスを解くのに要する計算量だと考えるのが自然である。しかし、最良のアルゴリズムであることを示すのは通常困難で、多くの場合、O記法を用いて「ある時間以下で計算できる」ことを示すことになる。そのため、複雑性クラスを導入し、クラス間の相互関係を示すことで、計算問題の複雑性を明らかにする。 </p> <div class="mw-heading mw-heading2"><h2 id="決定問題"><span id=".E6.B1.BA.E5.AE.9A.E5.95.8F.E9.A1.8C"></span>決定問題</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=3" title="節を編集: 決定問題"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>計算複雑性理論で扱う計算問題の多くは<a href="/wiki/%E6%B1%BA%E5%AE%9A%E5%95%8F%E9%A1%8C" title="決定問題">決定問題</a>である。決定問題とは、答えが「はい」か「いいえ」になる問題を指す。 </p><p>決定問題を主に扱うのは、任意の計算問題を何らかの決定問題に<a href="/wiki/%E9%82%84%E5%85%83_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)" title="還元 (計算複雑性理論)">還元</a>することが常に可能だからである。例えば、<i>HAS-FACTOR</i> を与えられた整数 <i>n</i> と <i>k</i>（どちらも二進数で与えるとする）について、<i>n</i> が <i>k</i> より小さい素因数をもつかどうかに答える決定問題とする。すると、計算問題 <i>FACTORIZE</i>（素因数分解）の解法は、<i>HAS-FACTOR</i> を使って実現でき、その際に追加の資源はそれほど要しない。具体的には <i>k</i> について<a href="/wiki/%E4%BA%8C%E5%88%86%E6%8E%A2%E7%B4%A2" title="二分探索">二分探索</a>を行い、<i>n</i> の最小素因数を探索し、その値で <i>n</i> を割る。そして、商について再び同じ作業を繰り返していけばよい。このことは、<i>HAS-FACTOR</i> の解法をある計算資源量で実現できるか否かが分れば、<i>FACTORIZE</i> の解法についても分るということを意味する。 </p><p>計算複雑性理論では、答えが「はい」かどうかを確認する問題と、答えが「いいえ」かどうかを確認する問題を区別する。「はい」と「いいえ」を逆転させた問題は、元の問題の<a href="/w/index.php?title=%E8%A3%9C%E5%95%8F%E9%A1%8C&action=edit&redlink=1" class="new" title="補問題 (存在しないページ)">補問題</a>と呼ばれる。 </p><p>例えば、決定問題 <i>IS-PRIME</i>（<a href="/wiki/%E7%B4%A0%E6%95%B0%E5%88%A4%E5%AE%9A" title="素数判定">素数判定問題</a>）は、入力が<a href="/wiki/%E7%B4%A0%E6%95%B0" title="素数">素数</a>の場合に「はい」、そうでなければ「いいえ」を返す。一方、問題 <i>IS-COMPOSITE</i> は与えられた整数が素数で<b>ない</b>（すなわち<a href="/wiki/%E5%90%88%E6%88%90%E6%95%B0" title="合成数">合成数</a>である）ことを決定する。<i>IS-PRIME</i> が「はい」を返すなら、<i>IS-COMPOSITE</i> は「いいえ」を返す。逆も成り立つ。したがって <i>IS-COMPOSITE</i> は <i>IS-PRIME</i> の補問題であり、同様に <i>IS-PRIME</i> は <i>IS-COMPOSITE</i> の補問題である。 </p><p>ある問題の解を求める計算量とその補問題の解を求める計算量は同じであるが、問題のあるインスタンスについて「はい」となる証拠を与えられて、その証拠が正しいかを判定する計算量は同じとは限らない。例えば、<i>IS-COMPOSITE</i>問題で、ある整数について、証拠として素因子を一つ与えられれば、除算を行うことで検算することができる。しかし、<i>IS-PRIME</i>問題では、どのような証拠を与えればよいかは、しばらくの間、自明ではなかった。補問題を区別することは、後述する複雑性クラス<a href="/wiki/NP" title="NP">NP</a>と<a href="/wiki/Co-NP" title="Co-NP">co-NP</a>などで重要となる。 </p><p>計算複雑性理論の重要な成果の1つとして、ある難しい問題があったとき（それがいかに大量の時間資源や空間資源を要したとしても）、それよりさらに難しい問題が必ず存在するという事実がある。時間計算量については<span title="リンク先の項目はまだありません。新規の執筆や他言語版からの翻訳が望まれます。"><a href="/w/index.php?title=%E6%99%82%E9%96%93%E9%9A%8E%E5%B1%A4%E5%AE%9A%E7%90%86&action=edit&redlink=1" class="new" title="時間階層定理 (存在しないページ)">時間階層定理</a><span style="font-size: 0.77em; font-weight: normal;" class="noprint">（<a href="https://en.wikipedia.org/wiki/Time_hierarchy_theorem" class="extiw" title="en:Time hierarchy theorem">英語版</a>）</span></span>によってこれが証明されている。同様に<span title="リンク先の項目はまだありません。新規の執筆や他言語版からの翻訳が望まれます。"><a href="/w/index.php?title=%E9%A0%98%E5%9F%9F%E9%9A%8E%E5%B1%A4%E5%AE%9A%E7%90%86&action=edit&redlink=1" class="new" title="領域階層定理 (存在しないページ)">領域階層定理</a><span style="font-size: 0.77em; font-weight: normal;" class="noprint">（<a href="https://en.wikipedia.org/wiki/Space_hierarchy_theorem" class="extiw" title="en:Space hierarchy theorem">英語版</a>）</span></span>も導かれる。 </p> <div class="mw-heading mw-heading2"><h2 id="計算資源"><span id=".E8.A8.88.E7.AE.97.E8.B3.87.E6.BA.90"></span>計算資源</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=4" title="節を編集: 計算資源"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>計算複雑性理論は計算問題の難しさを様々な<a href="/wiki/%E8%A8%88%E7%AE%97%E8%B3%87%E6%BA%90" title="計算資源">計算資源</a>の観点で分析する。時間、空間、無作為性、反復性、その他のより直観的でない尺度などで必要とする計算資源量によって、同じ問題を説明する。<a href="/wiki/%E8%A4%87%E9%9B%91%E6%80%A7%E3%82%AF%E3%83%A9%E3%82%B9" title="複雑性クラス">複雑性クラス</a>はある特定の計算資源をある特定の量つかって解くことができる全計算問題の集合である。 </p><p>最も研究が進んでいる計算資源は<b><a href="/wiki/%E6%B1%BA%E5%AE%9A%E6%80%A7%E6%99%82%E9%96%93" class="mw-redirect" title="決定性時間">決定性時間</a></b>(DTIME) と<b><a href="/wiki/%E6%B1%BA%E5%AE%9A%E6%80%A7%E7%A9%BA%E9%96%93" class="mw-redirect" title="決定性空間">決定性空間</a></b>(DSPACE) である。これらの資源はそれぞれ、決定性のある計算機（例えば実在する普通の計算機）で問題を解くのに必要な「計算時間（演算回数）」と「記憶装置」の量に対応している。これらの資源の使用量を求めることは実用的な意味もあり、研究が進んでいるのである。 </p><p>いくつかの計算問題は非現実的な量の資源を想定すれば、より容易に解析可能である。例えば、<a href="/wiki/%E9%9D%9E%E6%B1%BA%E5%AE%9A%E6%80%A7%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E6%A9%9F%E6%A2%B0" class="mw-redirect" title="非決定性チューリング機械">非決定性チューリング機械</a>は、分岐して様々な可能性を同時にチェックできるという計算モデルである。したがって、非決定性チューリング機械はアルゴリズムを使って具体的に計算する作業とは全く関係ないが、その分岐によって分析したい計算モデルの大部分を捉える。このため<a href="/wiki/%E9%9D%9E%E6%B1%BA%E5%AE%9A%E6%80%A7%E6%99%82%E9%96%93" class="mw-redirect" title="非決定性時間">非決定性時間</a>は計算問題を分析するにあたって非常に重要な資源である。 </p><p>計算複雑性理論では他にもいろいろな計算資源を考慮する。技術的には、<a href="/w/index.php?title=%E8%A4%87%E9%9B%91%E6%80%A7%E5%B0%BA%E5%BA%A6&action=edit&redlink=1" class="new" title="複雑性尺度 (存在しないページ)">複雑性尺度</a>として計算資源量が扱われ、これに関しては<a href="/wiki/%E3%83%96%E3%83%A9%E3%83%A0%E3%81%AE%E5%85%AC%E7%90%86" title="ブラムの公理">ブラムの公理</a>で非常に一般的な定義が与えられている。 </p> <div class="mw-heading mw-heading2"><h2 id="複雑性クラス"><span id=".E8.A4.87.E9.9B.91.E6.80.A7.E3.82.AF.E3.83.A9.E3.82.B9"></span>複雑性クラス</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=5" title="節を編集: 複雑性クラス"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>ある量の計算資源を使って解くことができるすべての計算問題の集合を<a href="/wiki/%E8%A4%87%E9%9B%91%E6%80%A7%E3%82%AF%E3%83%A9%E3%82%B9" title="複雑性クラス">複雑性クラス</a>という。 </p><p>複雑性クラス <a href="/wiki/P_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)" title="P (計算複雑性理論)">P</a> は、<a href="/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E6%A9%9F%E6%A2%B0" class="mw-redirect" title="チューリング機械">チューリング機械</a>で<a href="/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E6%99%82%E9%96%93" title="多項式時間">多項式時間</a>で解ける決定問題の集合である。このクラスは、直感的に言えば最悪の場合でも効率的に解くことができる問題である<sup id="cite_ref-Sipser2006_1-0" class="reference"><a href="#cite_note-Sipser2006-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>。 </p><p>複雑性クラス <b><a href="/wiki/NP" title="NP">NP</a></b> は、<a href="/wiki/%E9%9D%9E%E6%B1%BA%E5%AE%9A%E6%80%A7%E3%83%81%E3%83%A5%E3%83%BC%E3%83%AA%E3%83%B3%E3%82%B0%E6%A9%9F%E6%A2%B0" class="mw-redirect" title="非決定性チューリング機械">非決定性チューリング機械</a>で多項式時間で解ける決定問題の集合である。このクラスには効率的に解くことが望ましいとされる様々な問題が含まれている。例えば、<a href="/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C" title="充足可能性問題">充足可能性問題</a>、<a href="/wiki/%E3%83%8F%E3%83%9F%E3%83%AB%E3%83%88%E3%83%B3%E9%96%89%E8%B7%AF%E5%95%8F%E9%A1%8C" title="ハミルトン閉路問題">ハミルトン閉路問題</a>、<a href="/wiki/%E9%A0%82%E7%82%B9%E8%A2%AB%E8%A6%86%E5%95%8F%E9%A1%8C" title="頂点被覆問題">頂点被覆問題</a>などである。このクラスの全問題は、その解法を効率的に検証する方法があるという特徴を持つ<sup id="cite_ref-Sipser2006_1-1" class="reference"><a href="#cite_note-Sipser2006-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>。 </p><p>多くの複雑性クラスは、それを表現するのに必要となる<a href="/wiki/%E5%BD%A2%E5%BC%8F%E4%BD%93%E7%B3%BB" title="形式体系">論理体系</a>によって特徴付けられる。これは、<a href="/wiki/%E8%A8%98%E8%BF%B0%E8%A8%88%E7%AE%97%E9%87%8F" title="記述計算量">記述計算量</a>の概念と関係がある。 </p><p>各クラスに対し、そのクラスの<b>完全問題</b>を考えることがある。クラス<i>C</i>の完全問題とは<i>C</i>に属する問題のうちで最も計算するのが難しい問題のことである。具体的な定義は以下のようになる。 </p> <dl><dt>—困難 (<a href="/wiki/%E8%8B%B1%E8%AA%9E" title="英語">英</a>: <span lang="en">— hard</span>)</dt> <dd>クラス<i>C</i>に対して、問題<i>P</i>が<i>C</i><b>困難</b>であるとは、<i>C</i>に属する任意の問題を<i>P</i>に帰着（多くの場合<a href="/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E6%99%82%E9%96%93%E5%A4%89%E6%8F%9B" title="多項式時間変換">多項式時間帰着</a>を考えるが、そうでない場合もある）できるということである。すなわち<i>P</i>は<i>C</i>に属するいかなる問題よりも、同等かそれ以上に難しいということである。ただし、<i>C</i><b>完全</b>と異なり、<i>P</i>自身は<i>C</i>に属するとは限らない。</dd> <dt>—完全 (<a href="/wiki/%E8%8B%B1%E8%AA%9E" title="英語">英</a>: <span lang="en">— complete</span>)</dt> <dd>クラス<i>C</i>に対して、問題<i>P</i>が<i>C</i><b>完全</b>であるとは、<i>P</i>が<i>C</i>に属しかつ<i>C</i>困難ということである。すなわち<i>P</i>は<i>C</i>に属する問題の中で、本質的に最も難しい問題であるということである。</dd></dl> <div class="mw-heading mw-heading3"><h3 id="主な複雑性クラス"><span id=".E4.B8.BB.E3.81.AA.E8.A4.87.E9.9B.91.E6.80.A7.E3.82.AF.E3.83.A9.E3.82.B9"></span>主な複雑性クラス</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=6" title="節を編集: 主な複雑性クラス"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/L_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)" title="L (計算複雑性理論)">L</a></li> <li><a href="/wiki/NL_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)" title="NL (計算複雑性理論)">NL</a></li> <li><a href="/wiki/NC_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)" title="NC (計算複雑性理論)">NC</a></li> <li><a href="/wiki/P_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)" title="P (計算複雑性理論)">P</a></li> <li><a href="/wiki/NP" title="NP">NP</a>（<a href="/wiki/NP%E5%9B%B0%E9%9B%A3" title="NP困難">NP困難</a>, <a href="/wiki/NP%E5%AE%8C%E5%85%A8" class="mw-redirect" title="NP完全">NP完全</a>）</li> <li><a href="/wiki/Co-NP" title="Co-NP">co-NP</a></li> <li><a href="/wiki/PSPACE" title="PSPACE">PSPACE</a></li> <li><a href="/wiki/EXPTIME" title="EXPTIME">EXPTIME</a></li> <li><a href="/wiki/BPP_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)" title="BPP (計算複雑性理論)">BPP</a></li> <li><a href="/wiki/BQP" title="BQP">BQP</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="未解決の問題"><span id=".E6.9C.AA.E8.A7.A3.E6.B1.BA.E3.81.AE.E5.95.8F.E9.A1.8C"></span>未解決の問題</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=7" title="節を編集: 未解決の問題"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="P_=_NP_問題"><span id="P_.3D_NP_.E5.95.8F.E9.A1.8C"></span>P = NP 問題</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=8" title="節を編集: P = NP 問題"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="rellink" style="margin-bottom: 0.5em; padding-left: 2em; font-size: 90%;" role="note">→詳細は「<a href="/wiki/P%E2%89%A0NP%E4%BA%88%E6%83%B3" title="P≠NP予想">P≠NP予想</a>」を参照</div> <p>NPがPと同じかどうかという疑問（換言すれば、非決定的な多項式時間で解くことのできる問題は決定的な多項式時間でも解くことができるか）は、理論計算機科学における最重要問題の1つであり、その解決が様々な意味を持っている<sup id="cite_ref-Sipser2006_1-2" class="reference"><a href="#cite_note-Sipser2006-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>。同じであった場合に都合が悪い影響として、<a href="/wiki/%E6%9A%97%E5%8F%B7%E7%90%86%E8%AB%96" title="暗号理論">暗号理論</a>の多くがNPの困難さに依存しているため、Pと同じであることが判明すると使い物にならなくなるのである。しかし、よい影響も多々あり、様々な重要な問題に効率的な解法があることが明らかとなることが重要である。例えば、<a href="/wiki/%E3%82%AA%E3%83%9A%E3%83%AC%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3%E3%82%BA%E3%83%AA%E3%82%B5%E3%83%BC%E3%83%81" class="mw-redirect" title="オペレーションズリサーチ">オペレーションズリサーチ</a>における<a href="/wiki/%E6%95%B4%E6%95%B0%E8%A8%88%E7%94%BB%E5%95%8F%E9%A1%8C" title="整数計画問題">整数計画問題</a>、物流合理化、<a href="/wiki/%E7%94%9F%E7%89%A9%E5%AD%A6" title="生物学">生物学</a>における<a href="/wiki/%E3%82%BF%E3%83%B3%E3%83%91%E3%82%AF%E8%B3%AA%E6%A7%8B%E9%80%A0%E4%BA%88%E6%B8%AC" title="タンパク質構造予測">タンパク質構造予測</a>、<a href="/wiki/%E7%B4%94%E7%B2%8B%E6%95%B0%E5%AD%A6" title="純粋数学">純粋数学</a>の定理を<a href="/wiki/%E8%A8%88%E7%AE%97%E6%A9%9F" title="計算機">計算機</a>で効率的に形式的に証明する可能性などがある<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup>。<a href="/wiki/%E3%82%AF%E3%83%AC%E3%82%A4%E6%95%B0%E5%AD%A6%E7%A0%94%E7%A9%B6%E6%89%80" title="クレイ数学研究所">クレイ数学研究所</a>は<a href="/wiki/2000%E5%B9%B4" title="2000年">2000年</a>に、この問題を最初に解いた人に100万ドルを支払うと発表した<sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup>。 </p><p>この問題を考えるにあたって重要となるのは、<a href="/wiki/NP%E5%AE%8C%E5%85%A8%E5%95%8F%E9%A1%8C" title="NP完全問題">NP完全</a>の概念である。NP完全な問題はNPの中では最もPから遠い問題ということになる。P = NPが証明されていないため、ある問題をNP完全と判明している問題に<a href="/wiki/%E9%82%84%E5%85%83_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)" title="還元 (計算複雑性理論)">還元</a>できるということは、その問題の多項式時間の解法が未知であることを示している。逆に、すべての NP問題はNP完全問題に還元できるため、NP完全問題の多項式時間の解法を発見すれば、P = NPが証明される<sup id="cite_ref-Sipser2006_1-3" class="reference"><a href="#cite_note-Sipser2006-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>。（一方、たとえP = NPが成立しても、<a href="/wiki/NP%E5%9B%B0%E9%9B%A3" title="NP困難">NP困難</a>な問題は多項式時間で解けるとは限らない。理由はNP困難のページを参照のこと） </p> <div class="mw-heading mw-heading3"><h3 id="NPにおける不完全問題"><span id="NP.E3.81.AB.E3.81.8A.E3.81.91.E3.82.8B.E4.B8.8D.E5.AE.8C.E5.85.A8.E5.95.8F.E9.A1.8C"></span>NPにおける不完全問題</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=9" title="節を編集: NPにおける不完全問題"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>上の問題に関連して、NPクラスに属する問題でPクラスには属しないがNP完全でもない問題は存在するか、という問題もある。つまり、非決定的な多項式時間の解法はあるが、NP完全問題から多項式時間で還元できない問題ということである。このような問題のクラスを<span title="リンク先の項目はまだありません。新規の執筆や他言語版からの翻訳が望まれます。"><a href="/w/index.php?title=NP-intermediate&action=edit&redlink=1" class="new" title="NP-intermediate (存在しないページ)">NP-intermediate</a><span style="font-size: 0.77em; font-weight: normal;" class="noprint">（<a href="https://en.wikipedia.org/wiki/NP-intermediate" class="extiw" title="en:NP-intermediate">英語版</a>）</span></span>と呼び、候補として<a href="/wiki/%E5%90%8C%E5%9E%8B%E3%82%B0%E3%83%A9%E3%83%95" class="mw-redirect" title="同型グラフ">グラフ同型問題</a>や<a href="/wiki/%E7%B4%A0%E5%9B%A0%E6%95%B0%E5%88%86%E8%A7%A3" title="素因数分解">整数の因数分解</a>、<a href="/wiki/%E9%9B%A2%E6%95%A3%E5%AF%BE%E6%95%B0%E5%95%8F%E9%A1%8C" class="mw-redirect" title="離散対数問題">離散対数問題</a>などがある。もしP ≠ NPが真ならば、そのような問題が存在することが証明されている<sup id="cite_ref-DuKo2000_5-0" class="reference"><a href="#cite_note-DuKo2000-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup>。 </p> <div class="mw-heading mw-heading3"><h3 id="NP_=_co-NP"><span id="NP_.3D_co-NP"></span>NP = co-NP</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=10" title="節を編集: NP = co-NP"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <p><b><a href="/wiki/Co-NP" title="Co-NP">co-NP</a></b>クラスはNP問題の<a href="/w/index.php?title=%E8%A3%9C%E5%95%8F%E9%A1%8C&action=edit&redlink=1" class="new" title="補問題 (存在しないページ)">補問題</a>の集合である（すなわち、「はい」と「いいえ」が逆転している問題）。両者は等しくないと考えられているが証明されていない。2つの複雑性クラスが等しくないことが判明すると、NP完全問題は co-NP には含まれず、co-NP完全問題は NP には含まれないことが明らかになる<sup id="cite_ref-DuKo2000_5-1" class="reference"><a href="#cite_note-DuKo2000-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup>。 </p> <div class="mw-heading mw-heading2"><h2 id="イントラクタブル"><span id=".E3.82.A4.E3.83.B3.E3.83.88.E3.83.A9.E3.82.AF.E3.82.BF.E3.83.96.E3.83.AB"></span>イントラクタブル</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=11" title="節を編集: イントラクタブル"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="rellink" style="margin-bottom: 0.5em; padding-left: 2em; font-size: 90%;" role="note">→「<a href="/wiki/%E7%B5%84%E5%90%88%E3%81%9B%E7%88%86%E7%99%BA" title="組合せ爆発">組合せ爆発</a>」も参照</div> <p>理論上計算可能な問題であっても、実際に解くことができない問題を<b>イントラクタブル</b> (<a href="/wiki/%E8%8B%B1%E8%AA%9E" title="英語">英</a>: <span lang="en">intractable</span>, 手に負えない、処理しにくい) であるという。「実際に」解けるとはどういうことかという問題もあるが、多項式時間の解法がある問題が一般に（小さな入力だけでなく）解けるとされている。イントラクタブルな問題として知られているものとしては、<b><a href="/wiki/EXPTIME" title="EXPTIME">EXPTIME</a></b>完全な問題がある。NP が P と同じでなかった場合、NP完全な問題もイントラクタブルだということになる。 </p><p><a href="/wiki/%E6%8C%87%E6%95%B0%E9%96%A2%E6%95%B0%E6%99%82%E9%96%93" title="指数関数時間">指数関数時間</a>の解法がなぜ実際には使えないかを考えるため、2<sup><i>n</i></sup> 回の操作を必要とする問題を考える（<i>n</i> は入力のサイズである）。比較的小さな入力数 <i>n</i> = 100 のときについて、1秒間に 10<sup>10</sup>（10 <a href="/wiki/%E3%82%AE%E3%82%AC" title="ギガ">ギガ</a>）回命令を実行できる計算機を想定すると、その問題を解くには約 4 × 10<sup>12</sup> 年かかる。これは現在の<a href="/wiki/%E5%AE%87%E5%AE%99#宇宙の年齢" title="宇宙">宇宙の年齢</a>よりも長い。 </p> <div class="mw-heading mw-heading2"><h2 id="主な研究者"><span id=".E4.B8.BB.E3.81.AA.E7.A0.94.E7.A9.B6.E8.80.85"></span>主な研究者</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=12" title="節を編集: 主な研究者"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/%E3%83%9E%E3%83%8C%E3%82%A8%E3%83%AB%E3%83%BB%E3%83%96%E3%83%A9%E3%83%A0" title="マヌエル・ブラム">マヌエル・ブラム</a>: <a href="/wiki/%E3%83%96%E3%83%A9%E3%83%A0%E3%81%AE%E5%85%AC%E7%90%86" title="ブラムの公理">ブラムの公理</a>に基づいた公理的複雑性理論を構築した</li> <li><a href="/wiki/%E3%82%B9%E3%83%86%E3%82%A3%E3%83%BC%E3%83%96%E3%83%B3%E3%83%BB%E3%82%AF%E3%83%83%E3%82%AF" title="スティーブン・クック">スティーブン・クック</a></li> <li><a href="/wiki/%E3%83%A6%E3%83%AA%E3%82%B9%E3%83%BB%E3%83%8F%E3%83%AB%E3%83%88%E3%83%9E%E3%83%8B%E3%82%B9" title="ユリス・ハルトマニス">ユリス・ハルトマニス</a></li> <li><a href="/wiki/%E3%83%AA%E3%83%81%E3%83%A3%E3%83%BC%E3%83%89%E3%83%BB%E3%82%AB%E3%83%BC%E3%83%97" title="リチャード・カープ">リチャード・カープ</a></li> <li><a href="/wiki/%E3%82%A2%E3%83%87%E3%82%A3%E3%83%BB%E3%82%B7%E3%83%A3%E3%83%9F%E3%82%A2" title="アディ・シャミア">アディ・シャミア</a></li> <li><a href="/wiki/%E3%83%AA%E3%83%81%E3%83%A3%E3%83%BC%E3%83%89%E3%83%BB%E3%82%B9%E3%82%BF%E3%83%BC%E3%83%B3%E3%82%BA" title="リチャード・スターンズ">リチャード・スターンズ</a></li> <li><a href="/wiki/%E3%82%A2%E3%83%B3%E3%83%89%E3%83%AA%E3%83%A5%E3%83%BC%E3%83%BB%E3%83%81%E3%83%BC%E3%83%81%E3%83%BC%E3%83%BB%E3%83%A4%E3%82%AA" title="アンドリュー・チーチー・ヤオ">アンドリュー・チーチー・ヤオ</a></li> <li><a href="/wiki/%E3%83%AC%E3%82%B9%E3%83%AA%E3%83%BC%E3%83%BB%E3%83%B4%E3%82%A1%E3%83%AA%E3%82%A2%E3%83%B3%E3%83%88" title="レスリー・ヴァリアント">レスリー・ヴァリアント</a></li> <li><span title="リンク先の項目はまだありません。新規の執筆や他言語版からの翻訳が望まれます。"><a href="/w/index.php?title=Leonid_Levin&action=edit&redlink=1" class="new" title="Leonid Levin (存在しないページ)">Leonid Levin</a><span style="font-size: 0.77em; font-weight: normal;" class="noprint">（<a href="https://en.wikipedia.org/wiki/Leonid_Levin" class="extiw" title="en:Leonid Levin">英語版</a>）</span></span></li></ul> <div class="mw-heading mw-heading2"><h2 id="脚注"><span id=".E8.84.9A.E6.B3.A8"></span>脚注</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=13" title="節を編集: 脚注"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="noprint" style="float:right; font-size:90%;">[<a href="/wiki/Help:%E8%84%9A%E6%B3%A8/%E8%AA%AD%E8%80%85%E5%90%91%E3%81%91" title="Help:脚注/読者向け"><span title="この欄の操作法">脚注の使い方</span></a>]</div> <div class="reflist" style="list-style-type: decimal;"> <ol class="references"> <li id="cite_note-Sipser2006-1">^ <a href="#cite_ref-Sipser2006_1-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-Sipser2006_1-1"><sup><i><b>b</b></i></sup></a> <a href="#cite_ref-Sipser2006_1-2"><sup><i><b>c</b></i></sup></a> <a href="#cite_ref-Sipser2006_1-3"><sup><i><b>d</b></i></sup></a> <span class="reference-text"><cite style="font-style:normal" class="citation book">Sipser, Michael (2006年). “Time Complexity”. <i>Introduction to the Theory of Computation</i> (2nd edition ed.). USA: Thomson Course Technology. <a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/0534950973" class="internal mw-magiclink-isbn">ISBN 0-534-95097-3</a></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.btitle=Time+Complexity&rft.atitle=Introduction+to+the+Theory+of+Computation&rft.aulast=Sipser&rft.aufirst=Michael&rft.au=Sipser%2C%26%2332%3BMichael&rft.date=2006%E5%B9%B4&rft.edition=2nd+edition&rft.place=USA&rft.pub=Thomson+Course+Technology&rfr_id=info:sid/ja.wikipedia.org:%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"><span style="display: none;"> </span></span></span> </li> <li id="cite_note-2"><b><a href="#cite_ref-2">^</a></b> <span class="reference-text"><cite style="font-style:normal" class="citation journal">Berger, Bonnie A.; Leighton, Terrance (1998年). “Protein folding in the hydrophobic-hydrophilic (HP) model is NP-complete.”. <i>Journal of Computational Biology</i> <b>5</b> (1): p27-40.</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Protein+folding+in+the+hydrophobic-hydrophilic+%28HP%29+model+is+NP-complete.&rft.jtitle=Journal+of+Computational+Biology&rft.aulast=Berger&rft.aufirst=Bonnie+A.&rft.au=Berger%2C%26%2332%3BBonnie+A.&rft.date=1998%E5%B9%B4&rft.volume=5&rft.issue=1&rft.pages=p27-40&rfr_id=info:sid/ja.wikipedia.org:%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"><span style="display: none;"> </span></span>、<a rel="nofollow" class="external text" href="http://www.ncbi.nlm.nih.gov/entrez/query.fcgi?cmd=Retrieve&db=pubmed&dopt=Abstract&list_uids=9541869&query_hl=14&itool=pubmed_docsum">PubMed</a></span> </li> <li id="cite_note-3"><b><a href="#cite_ref-3">^</a></b> <span class="reference-text"><cite style="font-style:normal" class="citation journal"><a href="/wiki/%E3%82%B9%E3%83%86%E3%82%A3%E3%83%BC%E3%83%96%E3%83%B3%E3%83%BB%E3%82%AF%E3%83%83%E3%82%AF" title="スティーブン・クック">Cook, Stephen</a> (2000年4月) (PDF). <a rel="nofollow" class="external text" href="http://www.claymath.org/millennium/P_vs_NP/Official_Problem_Description.pdf"><i>The P versus NP Problem</i></a>. <a href="/wiki/%E3%82%AF%E3%83%AC%E3%82%A4%E6%95%B0%E5%AD%A6%E7%A0%94%E7%A9%B6%E6%89%80" title="クレイ数学研究所">クレイ数学研究所</a><span style="display:none;">. <a rel="nofollow" class="external free" href="http://www.claymath.org/millennium/P_vs_NP/Official_Problem_Description.pdf">http://www.claymath.org/millennium/P_vs_NP/Official_Problem_Description.pdf</a></span> <span class="reference-accessdate"><span title="">2006年10月18日</span>閲覧。</span>.</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=The+P+versus+NP+Problem&rft.aulast=Cook&rft.aufirst=Stephen&rft.au=Cook%2C%26%2332%3BStephen&rft.date=2000%E5%B9%B44%E6%9C%88&rft.pub=%5B%5B%E3%82%AF%E3%83%AC%E3%82%A4%E6%95%B0%E5%AD%A6%E7%A0%94%E7%A9%B6%E6%89%80%5D%5D&rft_id=http%3A%2F%2Fwww.claymath.org%2Fmillennium%2FP_vs_NP%2FOfficial_Problem_Description.pdf&rfr_id=info:sid/ja.wikipedia.org:%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"><span style="display: none;"> </span></span></span> </li> <li id="cite_note-4"><b><a href="#cite_ref-4">^</a></b> <span class="reference-text"><cite style="font-style:normal" class="citation journal">Jaffe, Arthur M.. <a rel="nofollow" class="external text" href="http://www.ams.org/notices/200606/fea-jaffe.pdf">“The Millennium Grand Challenge in Mathematics”</a> (PDF). <i>Notices of the AMS</i> <b>53</b> (6)<span style="display:none;">. <a rel="nofollow" class="external free" href="http://www.ams.org/notices/200606/fea-jaffe.pdf">http://www.ams.org/notices/200606/fea-jaffe.pdf</a></span> <span class="reference-accessdate"><span title="">2006年10月18日</span>閲覧。</span>.</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+Millennium+Grand+Challenge+in+Mathematics&rft.jtitle=Notices+of+the+AMS&rft.aulast=Jaffe&rft.aufirst=Arthur+M.&rft.au=Jaffe%2C%26%2332%3BArthur+M.&rft.volume=53&rft.issue=6&rft_id=http%3A%2F%2Fwww.ams.org%2Fnotices%2F200606%2Ffea-jaffe.pdf&rfr_id=info:sid/ja.wikipedia.org:%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"><span style="display: none;"> </span></span></span> </li> <li id="cite_note-DuKo2000-5">^ <a href="#cite_ref-DuKo2000_5-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-DuKo2000_5-1"><sup><i><b>b</b></i></sup></a> <span class="reference-text"><cite style="font-style:normal" class="citation book">Du, Ding-Zhu; Ko, Ker-I (2000年). <i>Theory of Computational Complexity</i>. John Wiley & Sons. <a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/9780471345060" class="internal mw-magiclink-isbn">ISBN 978-0-471-34506-0</a></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Theory+of+Computational+Complexity&rft.aulast=Du&rft.aufirst=Ding-Zhu&rft.au=Du%2C%26%2332%3BDing-Zhu&rft.date=2000%E5%B9%B4&rft.pub=John+Wiley+%26+Sons&rfr_id=info:sid/ja.wikipedia.org:%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96"><span style="display: none;"> </span></span></span> </li> </ol></div> <div class="mw-heading mw-heading2"><h2 id="参考文献"><span id=".E5.8F.82.E8.80.83.E6.96.87.E7.8C.AE"></span>参考文献</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=14" title="節を編集: 参考文献"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r101304250">.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}@media print{body.ns-0 .mw-parser-output .ambox{display:none!important}}</style><table class="box-参照方法 plainlinks metadata ambox mbox-small-left ambox-content" role="presentation" style="width:auto;"><tbody><tr><td class="mbox-image"><span typeof="mw:File"><span><img src="//upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/45px-2017-fr.wp-orange-source.svg.png" decoding="async" width="45" height="45" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/68px-2017-fr.wp-orange-source.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/90px-2017-fr.wp-orange-source.svg.png 2x" data-file-width="512" data-file-height="512" /></span></span></td><td class="mbox-text"><div class="mbox-text-span"><b><a href="/wiki/Wikipedia:%E3%82%B9%E3%82%BF%E3%82%A4%E3%83%AB%E3%83%9E%E3%83%8B%E3%83%A5%E3%82%A2%E3%83%AB_(%E3%83%AC%E3%82%A4%E3%82%A2%E3%82%A6%E3%83%88)#参考文献" class="mw-redirect" title="Wikipedia:スタイルマニュアル (レイアウト)">出典</a>は列挙するだけでなく、<a href="/wiki/Help:%E8%84%9A%E6%B3%A8" title="Help:脚注">脚注</a>などを用いて<a href="/wiki/Wikipedia:%E5%87%BA%E5%85%B8%E3%82%92%E6%98%8E%E8%A8%98%E3%81%99%E3%82%8B#出典の示し方" title="Wikipedia:出典を明記する">どの記述の情報源であるかを明記</a>してください。</b><span class="hide-when-compact"> 記事の<a href="/wiki/Wikipedia:%E6%A4%9C%E8%A8%BC%E5%8F%AF%E8%83%BD%E6%80%A7" title="Wikipedia:検証可能性">信頼性向上</a>にご協力をお願いいたします。<small>（<span title="2024年11月26日 (火) 09:59 (UTC)">2024年11月</span>）</small></span></div></td></tr></tbody></table> <div class="mw-heading mw-heading3"><h3 id="洋書"><span id=".E6.B4.8B.E6.9B.B8"></span>洋書</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=15" title="節を編集: 洋書"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>José Luis Balcázar, Josep Díaz,Joaquim Gabarró: <i>Structural Complexity II</i>, Springer, <a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/9783642753572" class="internal mw-magiclink-isbn">ISBN 978-3-642-75357-2</a> (1990).</li> <li>L. Fortnow, Steve Homer (2002/2003). <span class="PDFlink"><a rel="nofollow" class="external text" href="http://people.cs.uchicago.edu/~fortnow/papers/history.pdf"><i>A Short History of Computational Complexity</i></a></span> <span style="font-size:smaller">(<a href="/wiki/Portable_Document_Format" title="Portable Document Format">PDF</a>)</span> . In D. van Dalen, J. Dawson, and A. Kanamori, editors, <i>The History of Mathematical Logic</i>. North-Holland, Amsterdam.</li> <li>Jan van Leeuwen, ed. <i>Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity</i>, The MIT Press/Elsevier, 1990. <a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/9780444880710" class="internal mw-magiclink-isbn">ISBN 978-0-444-88071-0</a> (Volume A). QA 76.H279 1990. 解説が豊富で、様々な文献で引用・参照されている。</li> <li>Dexter C. Kozen: <i>Theory of Computation</i>, Springer, <a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/9781849965712" class="internal mw-magiclink-isbn">ISBN 978-1-84996571-2</a>（2010年10月21日）.</li> <li>José Luis Balcázar, Josep Díaz,Joaquim Gabarró: <i>Structural Complexity I</i>, 2nd Ed., Springer,<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/9783642792359" class="internal mw-magiclink-isbn">ISBN 978-3-642-79235-9</a> (2012). 初版は1988年。</li></ul> <div class="mw-heading mw-heading3"><h3 id="和書"><span id=".E5.92.8C.E6.9B.B8"></span>和書</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=16" title="節を編集: 和書"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>笠井琢美：「計算量の理論」、近代科学社、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4764901307" class="internal mw-magiclink-isbn">ISBN 4-76490130-7</a> (1987年4月).</li> <li>野崎昭弘：「アルゴリズムと計算量」、共立出版、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4320023803" class="internal mw-magiclink-isbn">ISBN 4-32002380-3</a> (1987年10月).</li> <li>足立暁生、西野哲朗：「計算量理論概説」、朝倉書店、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4254120583" class="internal mw-magiclink-isbn">ISBN 4-25412058-3</a> (1988年8月).</li> <li>Herbert S.Wilf：「アルゴリズムと計算量入門」，総研出版、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4795263167" class="internal mw-magiclink-isbn">ISBN 4-79526316-7</a> (1988年10月).</li> <li>バルカサール, J. L.、ディアス, J.、ガバロ, J.：「構造的計算量理論」、シュプリンガー・フェアラーク東京、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4431705597" class="internal mw-magiclink-isbn">ISBN 4-43170559-7</a> (1989年).</li> <li>渡辺治：「計算可能性・計算の複雑さ入門」、近代科学社、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4764902001" class="internal mw-magiclink-isbn">ISBN 4-76490200-1</a> (1992年10月).</li> <li>Jan van Leeuwen, ed.：「コンピュータ基礎理論ハンドブックⅠ：アルゴリズムと複雑さ」、丸善、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4621039210" class="internal mw-magiclink-isbn">ISBN 4-621-03921-0</a> (1994年2月28日).</li> <li>Jan van Leeuwen (Ed.):「コンピュータ基礎理論ハンドブック II：形式的モデルと意味論」、丸善、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/9784621039229" class="internal mw-magiclink-isbn">ISBN 978-4-62103922-9</a>（1994年2月28日）.</li> <li>竹内外史：「証明論と計算量」、裳華房、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4785310960" class="internal mw-magiclink-isbn">ISBN 4-78531096-0</a> (1995年11月).</li> <li>竹内外史：「PとNP：計算量の根本問題」、日本評論社、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4535782296" class="internal mw-magiclink-isbn">ISBN 4-53578229-6</a> (1996年9月).</li> <li>守屋悦朗：「チューリングマシンと計算量の理論」、培風館、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/4563014923" class="internal mw-magiclink-isbn">ISBN 4-56301492-3</a> (1997年11月).</li> <li>谷聖一：「アルゴリズムと計算量 : lectures on computational complexity」、サイエンス社(臨時別冊・数理科学SGC43)、(2005年11月）.</li> <li>荻原光徳：「複雑さの階層」、共立出版(アルゴリズム・サイエンスシリーズ 6 数理技法編)、<a href="/wiki/%E7%89%B9%E5%88%A5:%E6%96%87%E7%8C%AE%E8%B3%87%E6%96%99/9784320121720" class="internal mw-magiclink-isbn">ISBN 978-4-32012172-0</a> (2006年11月24日).</li></ul> <div class="mw-heading mw-heading2"><h2 id="関連項目"><span id=".E9.96.A2.E9.80.A3.E9.A0.85.E7.9B.AE"></span>関連項目</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=17" title="節を編集: 関連項目"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/P%E2%89%A0NP%E4%BA%88%E6%83%B3" title="P≠NP予想">P≠NP予想</a></li> <li><a href="/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E6%99%82%E9%96%93" title="多項式時間">多項式時間</a></li> <li><a href="/wiki/%E5%8A%A0%E9%80%9F%E5%AE%9A%E7%90%86" title="加速定理">加速定理</a></li> <li><a href="/wiki/%E7%90%86%E8%AB%96%E8%A8%88%E7%AE%97%E6%A9%9F%E7%A7%91%E5%AD%A6" title="理論計算機科学">理論計算機科学</a></li> <li><a href="/wiki/%E9%82%84%E5%85%83_(%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96)" title="還元 (計算複雑性理論)">還元 (計算複雑性理論)</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="外部リンク"><span id=".E5.A4.96.E9.83.A8.E3.83.AA.E3.83.B3.E3.82.AF"></span>外部リンク</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit&section=18" title="節を編集: 外部リンク"><span>編集</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a rel="nofollow" class="external text" href="https://complexityzoo.uwaterloo.ca/Complexity_Zoo">The Complexity Zoo</a> - 複雑性理論に関する<a href="/wiki/Wiki" class="mw-redirect" title="Wiki">Wiki</a></li> <li><a rel="nofollow" class="external text" href="http://www.cs.princeton.edu/theory/complexity/">Free (at least for now) book on computational complexity</a></li></ul> <style data-mw-deduplicate="TemplateStyles:r96783592">.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}</style><div role="note" class="metadata plainlinks asbox stub"><table role="presentation"><tbody><tr class="noresize"><td><span typeof="mw:File"><a href="/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:PC_template.svg" class="mw-file-description"><img alt="スタブアイコン" src="//upload.wikimedia.org/wikipedia/commons/thumb/b/be/PC_template.svg/40px-PC_template.svg.png" decoding="async" width="40" height="40" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/b/be/PC_template.svg/60px-PC_template.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/b/be/PC_template.svg/80px-PC_template.svg.png 2x" data-file-width="48" data-file-height="48" /></a></span></td><td><p class="asbox-body">この項目は、<a href="/wiki/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF" title="コンピュータ">コンピュータ</a>に関連した<b><a href="/wiki/Wikipedia:%E3%82%B9%E3%82%BF%E3%83%96" title="Wikipedia:スタブ">書きかけの項目</a></b>です。<a class="external text" href="https://ja.wikipedia.org/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&action=edit">この項目を加筆・訂正</a>などしてくださる<a href="/wiki/Category:%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E9%96%A2%E9%80%A3%E3%81%AE%E3%82%B9%E3%82%BF%E3%83%96%E9%A0%85%E7%9B%AE" title="Category:コンピュータ関連のスタブ項目">協力者を求めています</a>（<a href="/wiki/%E3%83%97%E3%83%AD%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88:%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF" title="プロジェクト:コンピュータ">PJ:コンピュータ</a>/<a href="/wiki/Portal:%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF" title="Portal:コンピュータ">P:コンピュータ</a>）。</p></td></tr></tbody></table><style data-mw-deduplicate="TemplateStyles:r103358373">.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline-block;word-break:keep-all}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{content:" ·\a0 ";font-weight:bold}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" |\a0 ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" -\a0 ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" /\a0 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")\a0 ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)"\a0 "}</style><style data-mw-deduplicate="TemplateStyles:r96787822">.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}</style><div class="navbar plainlinks hlist"><ul><li class="nv-view"><a href="/wiki/Template:Computer-stub" title="Template:Computer-stub"><span title="参照先のページを表示します。">表示</span></a></li><li class="nv-edit"><a class="external text" href="https://ja.wikipedia.org/w/index.php?title=Template:Computer-stub&action=edit"><span title="参照先のページを編集します。">編集</span></a></li></ul></div></div> <div role="navigation" class="navbox authority-control" aria-label="Navbox" style="padding:3px"><table class="nowraplinks hlist navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Help:%E5%85%B8%E6%8B%A0%E7%AE%A1%E7%90%86" title="Help:典拠管理">典拠管理データベース</a>: 国立図書館 <span class="mw-valign-text-top noprint" typeof="mw:File/Frameless"><a href="https://www.wikidata.org/wiki/Q205084#identifiers" title="ウィキデータを編集"><img alt="ウィキデータを編集" src="//upload.wikimedia.org/wikipedia/commons/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/10px-OOjs_UI_icon_edit-ltr-progressive.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/15px-OOjs_UI_icon_edit-ltr-progressive.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/20px-OOjs_UI_icon_edit-ltr-progressive.svg.png 2x" data-file-width="20" data-file-height="20" /></a></span></th><td class="navbox-list navbox-odd" style="text-align:left;border-left-width:2px;border-left-style:solid;width:100%;padding:0px"><div style="padding:0em 0.25em"> <ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/4120591-1">ドイツ</a></span></li> <li><span class="uid"><a rel="nofollow" class="external text" href="http://olduli.nli.org.il/F/?func=find-b&local_base=NLX10&find_code=UID&request=987007545779105171">イスラエル</a></span></li> <li><span class="uid"><abbr title="Computational complexity"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/sh85029473">アメリカ</a></abbr></span></li> <li><span class="uid"><abbr title="teorie složitosti"><a rel="nofollow" class="external text" href="https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph305884&CON_LNG=ENG">チェコ</a></abbr></span></li></ul> </div></td></tr></tbody></table></div> <!-- NewPP limit report Parsed by mw‐api‐int.codfw.main‐7d7c8f785d‐wczpb Cached time: 20250211165315 Cache expiry: 2592000 Reduced expiry: false Complications: [show‐toc] CPU time usage: 0.329 seconds Real time usage: 0.411 seconds Preprocessor visited node count: 4856/1000000 Post‐expand include size: 38881/2097152 bytes Template argument size: 7506/2097152 bytes Highest expansion depth: 26/100 Expensive parser function count: 8/500 Unstrip recursion depth: 0/20 Unstrip post‐expand size: 14202/5000000 bytes Lua time usage: 0.136/10.000 seconds Lua memory usage: 2048969/52428800 bytes Number of Wikibase entities loaded: 1/400 --> <!-- Transclusion expansion time report (%,ms,calls,template) 100.00% 345.659 1 -total 27.95% 96.624 1 Template:Reflist 21.00% 72.574 1 Template:Computer-stub 20.98% 72.516 5 Template:Citation/core 20.29% 70.134 1 Template:Asbox 15.55% 53.750 1 Template:Authority_control 14.75% 51.000 1 Template:参照方法 14.69% 50.778 3 Template:Cite_journal 12.54% 43.340 1 Template:Ambox 10.34% 35.751 2 Template:Cite_book --> <!-- Saved in parser cache with key jawiki:pcache:2537:|#|:idhash:canonical and timestamp 20250211165315 and revision id 102714421. Rendering was triggered because: api-parse --> </div><!--esi <esi:include src="/esitest-fa8a495983347898/content" /> --><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?useformat=desktop&type=1x1&usesul3=0" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">「<a dir="ltr" href="https://ja.wikipedia.org/w/index.php?title=計算複雑性理論&oldid=102714421">https://ja.wikipedia.org/w/index.php?title=計算複雑性理論&oldid=102714421</a>」から取得</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/%E7%89%B9%E5%88%A5:%E3%82%AB%E3%83%86%E3%82%B4%E3%83%AA" title="特別:カテゴリ">カテゴリ</a>: <ul><li><a href="/wiki/Category:%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96" title="Category:計算複雑性理論">計算複雑性理論</a></li><li><a href="/wiki/Category:%E7%90%86%E8%AB%96%E8%A8%88%E7%AE%97%E6%A9%9F%E7%A7%91%E5%AD%A6" title="Category:理論計算機科学">理論計算機科学</a></li><li><a href="/wiki/Category:%E8%A8%88%E7%AE%97%E7%90%86%E8%AB%96" title="Category:計算理論">計算理論</a></li><li><a href="/wiki/Category:%E7%B5%84%E5%90%88%E3%81%9B%E6%9C%80%E9%81%A9%E5%8C%96" title="Category:組合せ最適化">組合せ最適化</a></li><li><a href="/wiki/Category:%E7%A0%94%E7%A9%B6%E3%81%AE%E8%A8%88%E7%AE%97%E5%88%86%E9%87%8E" title="Category:研究の計算分野">研究の計算分野</a></li><li><a href="/wiki/Category:%E6%95%B0%E5%AD%A6%E3%81%AB%E9%96%A2%E3%81%99%E3%82%8B%E8%A8%98%E4%BA%8B" title="Category:数学に関する記事">数学に関する記事</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">隠しカテゴリ: <ul><li><a href="/wiki/Category:ISBN%E3%83%9E%E3%82%B8%E3%83%83%E3%82%AF%E3%83%AA%E3%83%B3%E3%82%AF%E3%82%92%E4%BD%BF%E7%94%A8%E3%81%97%E3%81%A6%E3%81%84%E3%82%8B%E3%83%9A%E3%83%BC%E3%82%B8" title="Category:ISBNマジックリンクを使用しているページ">ISBNマジックリンクを使用しているページ</a></li><li><a href="/wiki/Category:%E5%8F%82%E7%85%A7%E6%96%B9%E6%B3%95" title="Category:参照方法">参照方法</a></li><li><a href="/wiki/Category:%E3%81%99%E3%81%B9%E3%81%A6%E3%81%AE%E3%82%B9%E3%82%BF%E3%83%96%E8%A8%98%E4%BA%8B" title="Category:すべてのスタブ記事">すべてのスタブ記事</a></li><li><a href="/wiki/Category:%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E9%96%A2%E9%80%A3%E3%81%AE%E3%82%B9%E3%82%BF%E3%83%96%E9%A0%85%E7%9B%AE" title="Category:コンピュータ関連のスタブ項目">コンピュータ関連のスタブ項目</a></li><li><a href="/wiki/Category:GND%E8%AD%98%E5%88%A5%E5%AD%90%E3%81%8C%E6%8C%87%E5%AE%9A%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%E8%A8%98%E4%BA%8B" title="Category:GND識別子が指定されている記事">GND識別子が指定されている記事</a></li><li><a href="/wiki/Category:J9U%E8%AD%98%E5%88%A5%E5%AD%90%E3%81%8C%E6%8C%87%E5%AE%9A%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%E8%A8%98%E4%BA%8B" title="Category:J9U識別子が指定されている記事">J9U識別子が指定されている記事</a></li><li><a href="/wiki/Category:LCCN%E8%AD%98%E5%88%A5%E5%AD%90%E3%81%8C%E6%8C%87%E5%AE%9A%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%E8%A8%98%E4%BA%8B" title="Category:LCCN識別子が指定されている記事">LCCN識別子が指定されている記事</a></li><li><a href="/wiki/Category:NKC%E8%AD%98%E5%88%A5%E5%AD%90%E3%81%8C%E6%8C%87%E5%AE%9A%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%E8%A8%98%E4%BA%8B" title="Category:NKC識別子が指定されている記事">NKC識別子が指定されている記事</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> 最終更新 2024年11月26日 (火) 10:00 （日時は<a href="/wiki/%E7%89%B9%E5%88%A5:%E5%80%8B%E4%BA%BA%E8%A8%AD%E5%AE%9A#mw-prefsection-rendering" title="特別:個人設定">個人設定</a>で未設定ならば<a href="/wiki/%E5%8D%94%E5%AE%9A%E4%B8%96%E7%95%8C%E6%99%82" title="協定世界時">UTC</a>）。</li> <li id="footer-info-copyright">テキストは<a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.ja">クリエイティブ・コモンズ 表示-継承ライセンス</a>のもとで利用できます。追加の条件が適用される場合があります。詳細については<a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use">利用規約</a>を参照してください。</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/ja">プライバシー・ポリシー</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:%E3%82%A6%E3%82%A3%E3%82%AD%E3%83%9A%E3%83%87%E3%82%A3%E3%82%A2%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6">ウィキペディアについて</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:%E5%85%8D%E8%B2%AC%E4%BA%8B%E9%A0%85">免責事項</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">行動規範</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">開発者</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/ja.wikipedia.org">統計</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Cookieに関する声明</a></li> <li id="footer-places-mobileview"><a href="//ja.m.wikipedia.org/w/index.php?title=%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">モバイルビュー</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" lang="en" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-header-container vector-sticky-header-container"> <div id="vector-sticky-header" class="vector-sticky-header"> <div class="vector-sticky-header-start"> <div class="vector-sticky-header-icon-start vector-button-flush-left vector-button-flush-right" aria-hidden="true"> <button class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-sticky-header-search-toggle" tabindex="-1" data-event-name="ui.vector-sticky-search-form.icon"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>検索</span> </button> </div> <div role="search" class="vector-search-box-vue vector-search-box-show-thumbnail vector-search-box"> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail"> <form action="/w/index.php" id="vector-sticky-search-form" class="cdx-search-input cdx-search-input--has-end-button"> <div class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Wikipedia内を検索"> <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="特別:検索"> </div> <button class="cdx-button cdx-search-input__end-button">検索</button> </form> </div> </div> </div> <div class="vector-sticky-header-context-bar"> <nav aria-label="目次" class="vector-toc-landmark"> <div id="vector-sticky-header-toc" class="vector-dropdown mw-portlet mw-portlet-sticky-header-toc vector-sticky-header-toc vector-button-flush-left" > <input type="checkbox" id="vector-sticky-header-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-sticky-header-toc" class="vector-dropdown-checkbox " aria-label="目次の表示・非表示を切り替え" > <label id="vector-sticky-header-toc-label" for="vector-sticky-header-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">目次の表示・非表示を切り替え</span> </label> <div class="vector-dropdown-content"> <div id="vector-sticky-header-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div class="vector-sticky-header-context-bar-primary" aria-hidden="true" ><span class="mw-page-title-main">計算複雑性理論</span></div> </div> </div> <div class="vector-sticky-header-end" aria-hidden="true"> <div class="vector-sticky-header-icons"> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-talk-sticky-header" tabindex="-1" data-event-name="talk-sticky-header"><span class="vector-icon mw-ui-icon-speechBubbles mw-ui-icon-wikimedia-speechBubbles"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-subject-sticky-header" tabindex="-1" data-event-name="subject-sticky-header"><span class="vector-icon mw-ui-icon-article mw-ui-icon-wikimedia-article"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-history-sticky-header" tabindex="-1" data-event-name="history-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-history mw-ui-icon-wikimedia-wikimedia-history"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only mw-watchlink" id="ca-watchstar-sticky-header" tabindex="-1" data-event-name="watch-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-star mw-ui-icon-wikimedia-wikimedia-star"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-edit-sticky-header" tabindex="-1" data-event-name="wikitext-edit-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-wikiText mw-ui-icon-wikimedia-wikimedia-wikiText"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-ve-edit-sticky-header" tabindex="-1" data-event-name="ve-edit-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-edit mw-ui-icon-wikimedia-wikimedia-edit"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-viewsource-sticky-header" tabindex="-1" data-event-name="ve-edit-protected-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-editLock mw-ui-icon-wikimedia-wikimedia-editLock"></span> <span></span> </a> </div> <div class="vector-sticky-header-buttons"> <button class="cdx-button cdx-button--weight-quiet mw-interlanguage-selector" id="p-lang-btn-sticky-header" tabindex="-1" data-event-name="ui.dropdown-p-lang-btn-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-language mw-ui-icon-wikimedia-wikimedia-language"></span> <span>35の言語版</span> </button> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive" id="ca-addsection-sticky-header" tabindex="-1" data-event-name="addsection-sticky-header"><span class="vector-icon mw-ui-icon-speechBubbleAdd-progressive mw-ui-icon-wikimedia-speechBubbleAdd-progressive"></span> <span>話題追加</span> </a> </div> <div class="vector-sticky-header-icon-end"> <div class="vector-user-links"> </div> </div> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-5f467697bf-tc97h","wgBackendResponseTime":142,"wgPageParseReport":{"limitreport":{"cputime":"0.329","walltime":"0.411","ppvisitednodes":{"value":4856,"limit":1000000},"postexpandincludesize":{"value":38881,"limit":2097152},"templateargumentsize":{"value":7506,"limit":2097152},"expansiondepth":{"value":26,"limit":100},"expensivefunctioncount":{"value":8,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":14202,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 345.659 1 -total"," 27.95% 96.624 1 Template:Reflist"," 21.00% 72.574 1 Template:Computer-stub"," 20.98% 72.516 5 Template:Citation/core"," 20.29% 70.134 1 Template:Asbox"," 15.55% 53.750 1 Template:Authority_control"," 14.75% 51.000 1 Template:参照方法"," 14.69% 50.778 3 Template:Cite_journal"," 12.54% 43.340 1 Template:Ambox"," 10.34% 35.751 2 Template:Cite_book"]},"scribunto":{"limitreport-timeusage":{"value":"0.136","limit":"10.000"},"limitreport-memusage":{"value":2048969,"limit":52428800}},"cachereport":{"origin":"mw-api-int.codfw.main-7d7c8f785d-wczpb","timestamp":"20250211165315","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"\u8a08\u7b97\u8907\u96d1\u6027\u7406\u8ad6","url":"https:\/\/ja.wikipedia.org\/wiki\/%E8%A8%88%E7%AE%97%E8%A4%87%E9%9B%91%E6%80%A7%E7%90%86%E8%AB%96","sameAs":"http:\/\/www.wikidata.org\/entity\/Q205084","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q205084","author":{"@type":"Organization","name":"\u30a6\u30a3\u30ad\u30e1\u30c7\u30a3\u30a2\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3078\u306e\u8ca2\u732e\u8005"},"publisher":{"@type":"Organization","name":"\u30a6\u30a3\u30ad\u30e1\u30c7\u30a3\u30a2\u8ca1\u56e3","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2003-02-20T12:53:07Z","dateModified":"2024-11-26T10:00:09Z","headline":"\u8a08\u7b97\u554f\u984c\u306e\u56f0\u96e3\u3055\u306a\u3069\u3092\u6570\u5b66\u7684\u306b\u6271\u3046\u7406\u8ad6"}</script> </body> </html>