{"id":"https://openalex.org/W4312424399","doi":"https://doi.org/10.1587/transfun.2022eap1052","title":"Parameterized Formal Graph Systems and Their Polynomial-Time PAC Learnability","display_name":"Parameterized Formal Graph Systems and Their Polynomial-Time PAC Learnability","publication_year":2022,"publication_date":"2022-12-13","ids":{"openalex":"https://openalex.org/W4312424399","doi":"https://doi.org/10.1587/transfun.2022eap1052"},"language":"en","primary_location":{"id":"doi:10.1587/transfun.2022eap1052","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transfun.2022eap1052","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/E106.A/6/E106.A_2022EAP1052/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.jstage.jst.go.jp/article/transfun/E106.A/6/E106.A_2022EAP1052/_pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013978252","display_name":"Takayoshi Shoudai","orcid":null},"institutions":[{"id":"https://openalex.org/I100722782","display_name":"Fukuoka Institute of Technology","ror":"https://ror.org/00bmxak18","country_code":"JP","type":"education","lineage":["https://openalex.org/I100722782"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takayoshi SHOUDAI","raw_affiliation_strings":["Department of Computer Science and Engineering, Fukuoka Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Fukuoka Institute of Technology","institution_ids":["https://openalex.org/I100722782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040215557","display_name":"Satoshi Matsumoto","orcid":"https://orcid.org/0000-0001-7925-801X"},"institutions":[{"id":"https://openalex.org/I1314466530","display_name":"Tokai University","ror":"https://ror.org/01p7qe739","country_code":"JP","type":"education","lineage":["https://openalex.org/I1314466530"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Satoshi MATSUMOTO","raw_affiliation_strings":["Department of Mathematical Sciences, Tokai University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Tokai University","institution_ids":["https://openalex.org/I1314466530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030137541","display_name":"Yusuke Suzuki","orcid":"https://orcid.org/0000-0001-6940-9777"},"institutions":[{"id":"https://openalex.org/I57930482","display_name":"Hiroshima City University","ror":"https://ror.org/001et4e78","country_code":"JP","type":"education","lineage":["https://openalex.org/I57930482"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yusuke SUZUKI","raw_affiliation_strings":["Graduate School of Information Sciences, Hiroshima City University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Sciences, Hiroshima City University","institution_ids":["https://openalex.org/I57930482"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082439150","display_name":"Tomoyuki UCHIDA","orcid":null},"institutions":[{"id":"https://openalex.org/I57930482","display_name":"Hiroshima City University","ror":"https://ror.org/001et4e78","country_code":"JP","type":"education","lineage":["https://openalex.org/I57930482"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tomoyuki UCHIDA","raw_affiliation_strings":["Graduate School of Information Sciences, Hiroshima City University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Sciences, Hiroshima City University","institution_ids":["https://openalex.org/I57930482"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058994258","display_name":"Tetsuhiro MIYAHARA","orcid":null},"institutions":[{"id":"https://openalex.org/I57930482","display_name":"Hiroshima City University","ror":"https://ror.org/001et4e78","country_code":"JP","type":"education","lineage":["https://openalex.org/I57930482"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tetsuhiro MIYAHARA","raw_affiliation_strings":["Graduate School of Information Sciences, Hiroshima City University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Information Sciences, Hiroshima City University","institution_ids":["https://openalex.org/I57930482"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14836109,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"E106.A","issue":"6","first_page":"896","last_page":"906"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9829999804496765,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.7030909657478333},{"id":"https://openalex.org/keywords/treewidth","display_name":"Treewidth","score":0.5938735604286194},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5723775625228882},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5554997324943542},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5429503917694092},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5106390118598938},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4999213218688965},{"id":"https://openalex.org/keywords/learnability","display_name":"Learnability","score":0.4763655662536621},{"id":"https://openalex.org/keywords/vertex","display_name":"Vertex (graph theory)","score":0.4552016854286194},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4503938555717468},{"id":"https://openalex.org/keywords/graph-property","display_name":"Graph property","score":0.4278717339038849},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3355713486671448},{"id":"https://openalex.org/keywords/voltage-graph","display_name":"Voltage graph","score":0.20595622062683105},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.18154188990592957},{"id":"https://openalex.org/keywords/pathwidth","display_name":"Pathwidth","score":0.14063036441802979},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10447478294372559},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07380160689353943}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.7030909657478333},{"id":"https://openalex.org/C132569581","wikidata":"https://www.wikidata.org/wiki/Q5067368","display_name":"Treewidth","level":5,"score":0.5938735604286194},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5723775625228882},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5554997324943542},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5429503917694092},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5106390118598938},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4999213218688965},{"id":"https://openalex.org/C2777723229","wikidata":"https://www.wikidata.org/wiki/Q4367921","display_name":"Learnability","level":2,"score":0.4763655662536621},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.4552016854286194},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4503938555717468},{"id":"https://openalex.org/C64339825","wikidata":"https://www.wikidata.org/wiki/Q722659","display_name":"Graph property","level":5,"score":0.4278717339038849},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3355713486671448},{"id":"https://openalex.org/C22149727","wikidata":"https://www.wikidata.org/wiki/Q7940747","display_name":"Voltage graph","level":4,"score":0.20595622062683105},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.18154188990592957},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.14063036441802979},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10447478294372559},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07380160689353943},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1587/transfun.2022eap1052","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transfun.2022eap1052","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/E106.A/6/E106.A_2022EAP1052/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1587/transfun.2022eap1052","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transfun.2022eap1052","pdf_url":"https://www.jstage.jst.go.jp/article/transfun/E106.A/6/E106.A_2022EAP1052/_pdf","source":{"id":"https://openalex.org/S166990724","display_name":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","issn_l":"0916-8508","issn":["0916-8508","1745-1337"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5199999809265137}],"awards":[{"id":"https://openalex.org/G4321918231","display_name":"\u907f\u96e3\u6240\u3068\u907f\u96e3\u7d4c\u8def\u63d0\u6848\u306e\u305f\u3081\u306e\u652f\u63f4\u30b7\u30b9\u30c6\u30e0\u306e\u958b\u767a","funder_award_id":"20K04973","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5508040237","display_name":"Development of parallel graph mining systems for compressed large-scale  graph structured data","funder_award_id":"19K12103","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6210657406","display_name":"\u30b0\u30e9\u30d5\u69cb\u9020\u30d1\u30bf\u30fc\u30f3\u306b\u3088\u308a\u53ef\u8996\u5316\u3055\u308c\u305f\u8aac\u660e\u53ef\u80fd\u306a\u30b0\u30e9\u30d5\u69cb\u9020\u5316\u77e5\u8b58\u306e\u7372\u5f97\u30b7\u30b9\u30c6\u30e0","funder_award_id":"22K12172","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7451708659","display_name":"Development of high-performance graph mining methods for graph structured data using various additional information","funder_award_id":"19K12102","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7488709135","display_name":"Exploring the Learnability of Formal Graph Systems through Probabilistic Evaluation of Graph Structure Dynamics","funder_award_id":"21K12021","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4312424399.pdf","grobid_xml":"https://content.openalex.org/works/W4312424399.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1865655826","https://openalex.org/W1987526736","https://openalex.org/W1989445634","https://openalex.org/W2032206612","https://openalex.org/W2039657187","https://openalex.org/W2044220326","https://openalex.org/W2059372025","https://openalex.org/W2087907345","https://openalex.org/W2106980319","https://openalex.org/W2121758531","https://openalex.org/W2133956246","https://openalex.org/W2154952480","https://openalex.org/W2163359660","https://openalex.org/W2170726034","https://openalex.org/W2477674116","https://openalex.org/W2971253248","https://openalex.org/W3007883572","https://openalex.org/W4206370914","https://openalex.org/W4213201446","https://openalex.org/W4236362309","https://openalex.org/W4238893454"],"related_works":["https://openalex.org/W4367369879","https://openalex.org/W4382239489","https://openalex.org/W2113684989","https://openalex.org/W4389814085","https://openalex.org/W1531868704","https://openalex.org/W4285659194","https://openalex.org/W2039168577","https://openalex.org/W3048010228","https://openalex.org/W3031065515","https://openalex.org/W2593126173"],"abstract_inverted_index":{"A":[0],"formal":[1],"graph":[2,18,31,46,118,150,183],"system":[3],"(FGS":[4],"for":[5,44,237],"short)":[6],"is":[7,36,110,221],"a":[8,40,58],"logic":[9],"program":[10],"consisting":[11,94,115],"of":[12,21,57,60,74,91,95,97,103,116,136,144,148,166,168,175,178],"definite":[13,25],"clauses":[14,26],"whose":[15],"arguments":[16,143],"are":[17,27,205,234],"patterns":[19,123,180],"instead":[20],"first-order":[22],"terms.":[23],"The":[24,126,157],"referred":[28],"to":[29,38],"as":[30,88,124],"rewriting":[32,119,151,184],"rules.":[33],"An":[34],"FGS":[35,61,92],"shown":[37],"be":[39],"useful":[41],"unifying":[42],"framework":[43],"learning":[45,76],"languages.":[47],"In":[48],"this":[49],"paper,":[50],"we":[51,80,210],"show":[52],"the":[53,72,89,133,140,163,172,203,213],"polynomial-time":[54,222],"PAC":[55,223],"learnability":[56],"subclass":[59],"languages":[62,93,199],"defined":[63,111],"by":[64,112,207],"parameterized":[65],"hereditary":[66],"FGSs":[67,114],"with":[68],"bounded":[69,206],"degree,":[70],"from":[71],"viewpoint":[73],"computational":[75],"theory.":[77],"That":[78],"is,":[79],"consider":[81],"VH-FGSLk,\u0394(m,":[82,190,215],"s,":[83,128,191,216,228],"t,":[84,129,192,217,229],"r,":[85,193,218,230],"w,":[86,194,219,231],"d)":[87,195,220],"class":[90,214],"graphs":[96],"treewidth":[98],"at":[99,106],"most":[100,107],"k":[101],"and":[102,130,142,160,171],"maximum":[104,134,164,173],"degree":[105,174],"\u0394":[108,233],"which":[109],"variable-hereditary":[113],"m":[117],"rules":[120],"having":[121],"TGP":[122,179],"arguments.":[125],"parameters":[127,158,204],"r":[131],"denote":[132,162],"numbers":[135],"variables,":[137],"atoms":[138],"in":[139,153,181,186],"body,":[141],"each":[145,149,169,176,182],"predicate":[146],"symbol":[147],"rule":[152,185],"an":[154,187],"FGS,":[155,188],"respectively.":[156,189],"w":[159],"d":[161],"number":[165],"vertices":[167],"hyperedge":[170],"vertex":[177],"has":[196],"infinitely":[197],"many":[198],"even":[200],"if":[201,225],"all":[202,226],"constants.":[208],"Then":[209],"prove":[211],"that":[212],"learnable":[224],"m,":[227],"d,":[232],"constants":[235],"except":[236],"k.":[238]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}