@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
<http://ja.dbpedia.org/data/EXPSPACE.n3>	rdf:type	foaf:Document .
@prefix dbpedia-ja:	<http://ja.dbpedia.org/resource/> .
<http://ja.dbpedia.org/data/EXPSPACE.n3>	foaf:primaryTopic	dbpedia-ja:EXPSPACE .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia-wikidata:	<http://wikidata.dbpedia.org/resource/> .
dbpedia-wikidata:Q1141985	owl:sameAs	dbpedia-ja:EXPSPACE .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbpedia-ja:ESPACE	dbo:wikiPageWikiLink	dbpedia-ja:EXPSPACE .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia-ja:EXPSPACE	rdfs:label	"EXPSPACE"@ja ;
	rdfs:comment	"\u8A08\u7B97\u8907\u96D1\u6027\u7406\u8AD6\u306B\u304A\u3044\u3066\u3001\u8907\u96D1\u6027\u30AF\u30E9\u30B9 EXPSPACE \u3068\u306F\u3001\u6C7A\u5B9A\u6027\u30C1\u30E5\u30FC\u30EA\u30F3\u30B0\u6A5F\u68B0\u3067 O(2p(n)) \u306E\u9818\u57DF\u3092\u4F7F\u3063\u3066\u89E3\u3051\u308B\u5168\u6C7A\u5B9A\u554F\u984C\u306E\u96C6\u5408\u3067\u3042\u308B\u3002\u3053\u3053\u3067\u3001p(n) \u306F n \u306E\u591A\u9805\u5F0F\u95A2\u6570\u3067\u3042\u308B\u3002p(n) \u3092\u4E00\u6B21\u95A2\u6570\u306B\u9650\u5B9A\u3059\u308B\u5834\u5408\u3082\u3042\u308B\u304C\u3001\u901A\u5E38\u305D\u306E\u3088\u3046\u306A\u30AF\u30E9\u30B9\u306F ESPACE \u3068\u547C\u3070\u308C\u308B\u3002 DSPACE\u306E\u8A18\u6CD5\u3067\u306F\u4EE5\u4E0B\u306E\u3088\u3046\u306B\u8868\u3055\u308C\u308B\u3002 EXPSPACE\u5B8C\u5168\u306A\u6C7A\u5B9A\u554F\u984C\u3068\u306F\u3001EXPSPACE \u306B\u5C5E\u3057\u3001\u304B\u3064\u5168\u3066\u306E EXPSPACE \u306B\u5C5E\u3059\u308B\u554F\u984C\u3092\u591A\u9805\u5F0F\u6642\u9593\u591A\u5BFE\u4E00\u9084\u5143\u306B\u3088\u3063\u3066\u305D\u306E\u554F\u984C\u306B\u5E30\u7740\u3055\u305B\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u5834\u5408\u3092\u6307\u3059\u3002\u63DB\u8A00\u3059\u308C\u3070\u3001\u591A\u9805\u5F0F\u6642\u9593\u30A2\u30EB\u30B4\u30EA\u30BA\u30E0\u306B\u3088\u3063\u3066\u3001\u3042\u308B\u554F\u984C\u304B\u3089\u5225\u306E\u554F\u984C\u3078\u89E3\u3092\u5909\u3048\u305A\u306B\u5909\u63DB\u53EF\u80FD\u3067\u3042\u308B\u3002EXPSPACE\u5B8C\u5168\u554F\u984C\u306F\u3001EXPSPACE\u306E\u4E2D\u3067\u3082\u6700\u3082\u96E3\u3057\u3044\u554F\u984C\u3068\u3055\u308C\u308B\u3002 EXPSPACE \u306F PSPACE\u3001NP\u3001P \u3092\u771F\u306B\u5305\u542B\u3059\u308B\u3002\u307E\u305F\u3001EXPTIME \u3092\u3082\u771F\u306B\u5305\u542B\u3059\u308B\u3068\u8003\u3048\u3089\u308C\u3066\u3044\u308B\u3002 EXPSPACE\u5B8C\u5168\u306A\u554F\u984C\u306E\u4F8B\u3068\u3057\u3066\u30012\u3064\u306E\u6B63\u898F\u8868\u73FE\u304C\u7570\u306A\u308B\u8A00\u8A9E\u3092\u8868\u73FE\u3057\u3066\u3044\u308B\u304B\u3069\u3046\u304B\u306E\u6C7A\u5B9A\u554F\u984C\u304C\u3042\u308B\u3002\u3053\u306E\u3068\u304D\u3001\u305D\u306E\u8868\u73FE\u306F4\u3064\u306E\u6F14\u7B97\u5B50\uFF08\u548C\u96C6\u5408\u3001\u9023\u7D50\u3001\u30AF\u30EA\u30FC\u30CD\u9589\u5305\uFF08\u30BC\u30ED\u500B\u4EE5\u4E0A\u306E\u30B3\u30D4\u30FC\uFF09\u3001\u5E73\u65B9\uFF082\u3064\u306E\u30B3\u30D4\u30FC\uFF09\uFF09\u306B\u5236\u9650\u3055\u308C\u308B\u3002 \u30AF\u30EA\u30FC\u30CD\u9589\u5305\u3092\u9664\u304F\u3068\u3001\u3053\u306E\u554F\u984C\u306F NEXPTIME\u5B8C\u5168\u3068\u306A\u308B\u3002\u3053\u308C\u306F EXPTIME\u5B8C\u5168\u306B\u4F3C\u3066\u3044\u308B\u304C\u3001\u6C7A\u5B9A\u6027\u3067\u306F\u306A\u304F\u975E\u6C7A\u5B9A\u6027\u30C1\u30E5\u30FC\u30EA\u30F3\u30B0\u6A5F\u68B0\u3067\u5B9A\u7FA9\u3055\u308C\u308B\u3002"@ja ;
	owl:sameAs	<http://rdf.freebase.com/ns/m.0f8c5> .
@prefix dct:	<http://purl.org/dc/terms/> .
dbpedia-ja:EXPSPACE	dct:subject	<http://ja.dbpedia.org/resource/Category:\u8A08\u7B97\u8907\u96D1\u6027\u7406\u8AD6> ,
		<http://ja.dbpedia.org/resource/Category:\u6570\u5B66\u306B\u95A2\u3059\u308B\u8A18\u4E8B> ;
	dbo:wikiPageID	1114773 ;
	dbo:wikiPageRevisionID	65919889 ;
	dbo:wikiPageWikiLink	dbpedia-ja:NP ,
		<http://ja.dbpedia.org/resource/\u30C1\u30E5\u30FC\u30EA\u30F3\u30B0\u30DE\u30B7\u30F3> ,
		<http://ja.dbpedia.org/resource/\u30A2\u30EB\u30B4\u30EA\u30BA\u30E0> ,
		<http://ja.dbpedia.org/resource/\u52A0\u6CD5> ,
		<http://ja.dbpedia.org/resource/\u30AF\u30EA\u30FC\u30CD\u9589\u5305> ,
		<http://ja.dbpedia.org/resource/P_(\u8A08\u7B97\u8907\u96D1\u6027\u7406\u8AD6)> ,
		<http://ja.dbpedia.org/resource/\u5B9F\u6570> ,
		dbpedia-ja:NEXPTIME ,
		<http://ja.dbpedia.org/resource/\u4E57\u6CD5> ,
		dbpedia-ja:ESPACE ,
		<http://ja.dbpedia.org/resource/\u4E00\u968E\u8FF0\u8A9E\u8AD6\u7406> ,
		<http://ja.dbpedia.org/resource/\u6C7A\u5B9A\u554F\u984C> ,
		<http://ja.dbpedia.org/resource/1980\u5E74> ,
		<http://ja.dbpedia.org/resource/\u4E00\u6B21\u95A2\u6570> ,
		<http://ja.dbpedia.org/resource/\u30E9\u30F3\u30C0\u30A6\u306E\u8A18\u53F7> ,
		dbpedia-ja:EXPTIME ,
		<http://ja.dbpedia.org/resource/\u975E\u6C7A\u5B9A\u6027\u30C1\u30E5\u30FC\u30EA\u30F3\u30B0\u6A5F\u68B0> ,
		dbpedia-ja:PSPACE ,
		<http://ja.dbpedia.org/resource/\u8A08\u7B97\u8907\u96D1\u6027\u7406\u8AD6> ,
		<http://ja.dbpedia.org/resource/Category:\u6570\u5B66\u306B\u95A2\u3059\u308B\u8A18\u4E8B> ,
		dbpedia-ja:DSPACE ,
		<http://ja.dbpedia.org/resource/\u591A\u9805\u5F0F\u6642\u9593\u5909\u63DB> ,
		<http://ja.dbpedia.org/resource/\u6B63\u898F\u8868\u73FE> ,
		<http://ja.dbpedia.org/resource/\u8907\u96D1\u6027\u30AF\u30E9\u30B9> ,
		<http://ja.dbpedia.org/resource/\u96C6\u5408> ,
		<http://ja.dbpedia.org/resource/Category:\u8A08\u7B97\u8907\u96D1\u6027\u7406\u8AD6> .
@prefix prop-en:	<http://ja.dbpedia.org/property/> .
@prefix template-en:	<http://ja.dbpedia.org/resource/Template:> .
dbpedia-ja:EXPSPACE	prop-en:wikiPageUsesTemplate	template-en:Cite_book ,
		<http://ja.dbpedia.org/resource/Template:\u8907\u96D1\u6027\u30AF\u30E9\u30B9> ;
	dbo:abstract	"\u8A08\u7B97\u8907\u96D1\u6027\u7406\u8AD6\u306B\u304A\u3044\u3066\u3001\u8907\u96D1\u6027\u30AF\u30E9\u30B9 EXPSPACE \u3068\u306F\u3001\u6C7A\u5B9A\u6027\u30C1\u30E5\u30FC\u30EA\u30F3\u30B0\u6A5F\u68B0\u3067 O(2p(n)) \u306E\u9818\u57DF\u3092\u4F7F\u3063\u3066\u89E3\u3051\u308B\u5168\u6C7A\u5B9A\u554F\u984C\u306E\u96C6\u5408\u3067\u3042\u308B\u3002\u3053\u3053\u3067\u3001p(n) \u306F n \u306E\u591A\u9805\u5F0F\u95A2\u6570\u3067\u3042\u308B\u3002p(n) \u3092\u4E00\u6B21\u95A2\u6570\u306B\u9650\u5B9A\u3059\u308B\u5834\u5408\u3082\u3042\u308B\u304C\u3001\u901A\u5E38\u305D\u306E\u3088\u3046\u306A\u30AF\u30E9\u30B9\u306F ESPACE \u3068\u547C\u3070\u308C\u308B\u3002 DSPACE\u306E\u8A18\u6CD5\u3067\u306F\u4EE5\u4E0B\u306E\u3088\u3046\u306B\u8868\u3055\u308C\u308B\u3002 EXPSPACE\u5B8C\u5168\u306A\u6C7A\u5B9A\u554F\u984C\u3068\u306F\u3001EXPSPACE \u306B\u5C5E\u3057\u3001\u304B\u3064\u5168\u3066\u306E EXPSPACE \u306B\u5C5E\u3059\u308B\u554F\u984C\u3092\u591A\u9805\u5F0F\u6642\u9593\u591A\u5BFE\u4E00\u9084\u5143\u306B\u3088\u3063\u3066\u305D\u306E\u554F\u984C\u306B\u5E30\u7740\u3055\u305B\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u5834\u5408\u3092\u6307\u3059\u3002\u63DB\u8A00\u3059\u308C\u3070\u3001\u591A\u9805\u5F0F\u6642\u9593\u30A2\u30EB\u30B4\u30EA\u30BA\u30E0\u306B\u3088\u3063\u3066\u3001\u3042\u308B\u554F\u984C\u304B\u3089\u5225\u306E\u554F\u984C\u3078\u89E3\u3092\u5909\u3048\u305A\u306B\u5909\u63DB\u53EF\u80FD\u3067\u3042\u308B\u3002EXPSPACE\u5B8C\u5168\u554F\u984C\u306F\u3001EXPSPACE\u306E\u4E2D\u3067\u3082\u6700\u3082\u96E3\u3057\u3044\u554F\u984C\u3068\u3055\u308C\u308B\u3002 EXPSPACE \u306F PSPACE\u3001NP\u3001P \u3092\u771F\u306B\u5305\u542B\u3059\u308B\u3002\u307E\u305F\u3001EXPTIME \u3092\u3082\u771F\u306B\u5305\u542B\u3059\u308B\u3068\u8003\u3048\u3089\u308C\u3066\u3044\u308B\u3002 EXPSPACE\u5B8C\u5168\u306A\u554F\u984C\u306E\u4F8B\u3068\u3057\u3066\u30012\u3064\u306E\u6B63\u898F\u8868\u73FE\u304C\u7570\u306A\u308B\u8A00\u8A9E\u3092\u8868\u73FE\u3057\u3066\u3044\u308B\u304B\u3069\u3046\u304B\u306E\u6C7A\u5B9A\u554F\u984C\u304C\u3042\u308B\u3002\u3053\u306E\u3068\u304D\u3001\u305D\u306E\u8868\u73FE\u306F4\u3064\u306E\u6F14\u7B97\u5B50\uFF08\u548C\u96C6\u5408\u3001\u9023\u7D50\u3001\u30AF\u30EA\u30FC\u30CD\u9589\u5305\uFF08\u30BC\u30ED\u500B\u4EE5\u4E0A\u306E\u30B3\u30D4\u30FC\uFF09\u3001\u5E73\u65B9\uFF082\u3064\u306E\u30B3\u30D4\u30FC\uFF09\uFF09\u306B\u5236\u9650\u3055\u308C\u308B\u3002 \u30AF\u30EA\u30FC\u30CD\u9589\u5305\u3092\u9664\u304F\u3068\u3001\u3053\u306E\u554F\u984C\u306F NEXPTIME\u5B8C\u5168\u3068\u306A\u308B\u3002\u3053\u308C\u306F EXPTIME\u5B8C\u5168\u306B\u4F3C\u3066\u3044\u308B\u304C\u3001\u6C7A\u5B9A\u6027\u3067\u306F\u306A\u304F\u975E\u6C7A\u5B9A\u6027\u30C1\u30E5\u30FC\u30EA\u30F3\u30B0\u6A5F\u68B0\u3067\u5B9A\u7FA9\u3055\u308C\u308B\u3002 \u307E\u305F1980\u5E74\u3001L. Berman \u306F\u5B9F\u6570\u306E\u52A0\u6CD5\u3068\u6BD4\u8F03\uFF08\u4E57\u6CD5\u306F\u542B\u307E\u306A\u3044\uFF09\u306B\u3064\u3044\u3066\u306E\u4E00\u968E\u8FF0\u8A9E\u8AD6\u7406\u5F0F\u306E\u8A55\u4FA1\u554F\u984C\u304C EXPSPACE \u3067\u3042\u308B\u3053\u3068\u3092\u793A\u3057\u305F\u3002"@ja .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
dbpedia-ja:EXPSPACE	dbo:wikiPageLength	"1469"^^xsd:nonNegativeInteger .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbpedia-ja:EXPSPACE	prov:wasDerivedFrom	<http://ja.wikipedia.org/wiki/EXPSPACE?oldid=65919889&ns=0> .
@prefix ns12:	<http://ja.wikipedia.org/wiki/> .
dbpedia-ja:EXPSPACE	foaf:isPrimaryTopicOf	ns12:EXPSPACE .
dbpedia-ja:EXPTIME	dbo:wikiPageWikiLink	dbpedia-ja:EXPSPACE .
dbpedia-ja:NP	dbo:wikiPageWikiLink	dbpedia-ja:EXPSPACE .
<http://ja.dbpedia.org/resource/\u4EA4\u66FF\u6027\u30C1\u30E5\u30FC\u30EA\u30F3\u30B0\u6A5F\u68B0>	dbo:wikiPageWikiLink	dbpedia-ja:EXPSPACE .
<http://ja.dbpedia.org/resource/\u5B9F\u9589\u4F53>	dbo:wikiPageWikiLink	dbpedia-ja:EXPSPACE .
<http://ja.dbpedia.org/resource/\u8907\u96D1\u6027\u30AF\u30E9\u30B9>	dbo:wikiPageWikiLink	dbpedia-ja:EXPSPACE .
ns12:EXPSPACE	foaf:primaryTopic	dbpedia-ja:EXPSPACE .