{"id":"https://openalex.org/W4405839378","doi":"https://doi.org/10.1007/s00224-024-10209-4","title":"Note on Constrained Long Choice with Multiple Beginning Elements","display_name":"Note on Constrained Long Choice with Multiple Beginning Elements","publication_year":2024,"publication_date":"2024-12-27","ids":{"openalex":"https://openalex.org/W4405839378","doi":"https://doi.org/10.1007/s00224-024-10209-4"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-024-10209-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-024-10209-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10209-4.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10209-4.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020868715","display_name":"Takashi Ishizuka","orcid":"https://orcid.org/0000-0003-0418-8170"},"institutions":[{"id":"https://openalex.org/I2252096349","display_name":"Fujitsu (Japan)","ror":"https://ror.org/038e2g226","country_code":"JP","type":"company","lineage":["https://openalex.org/I2252096349"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Takashi Ishizuka","raw_affiliation_strings":["Artificial Intelligence Laboratory, Fujitsu Limited, 4-1-1, Kamikodanaka, Nakahara-ku, Kawasaki, 211-8588, Kanagawa, Japan"],"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Laboratory, Fujitsu Limited, 4-1-1, Kamikodanaka, Nakahara-ku, Kawasaki, 211-8588, Kanagawa, Japan","institution_ids":["https://openalex.org/I2252096349"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5020868715"],"corresponding_institution_ids":["https://openalex.org/I2252096349"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.44171779,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"69","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9667999744415283,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9667999744415283,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.934499979019165,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9269000291824341,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5593488216400146},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3615344762802124},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3590085506439209},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.35206538438796997}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5593488216400146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3615344762802124},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3590085506439209},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.35206538438796997}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00224-024-10209-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-024-10209-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10209-4.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00224-024-10209-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-024-10209-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10209-4.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8707452894","display_name":null,"funder_award_id":"JPMJAX2101","funder_id":"https://openalex.org/F4320338246","funder_display_name":"ACT-X"}],"funders":[{"id":"https://openalex.org/F4320338246","display_name":"ACT-X","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405839378.pdf","grobid_xml":"https://content.openalex.org/works/W4405839378.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W314996113","https://openalex.org/W1530232604","https://openalex.org/W1594319238","https://openalex.org/W1804423330","https://openalex.org/W1980813953","https://openalex.org/W2044667552","https://openalex.org/W2057913812","https://openalex.org/W2103981148","https://openalex.org/W2169359757","https://openalex.org/W2776865190","https://openalex.org/W2963086090","https://openalex.org/W2964219470","https://openalex.org/W2966513741","https://openalex.org/W3181496393","https://openalex.org/W3193856430","https://openalex.org/W4226426985","https://openalex.org/W4296415581","https://openalex.org/W4386398400","https://openalex.org/W4399522199","https://openalex.org/W4404849704"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W4387369504","https://openalex.org/W3046775127","https://openalex.org/W4394896187","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W3107602296","https://openalex.org/W4364306694","https://openalex.org/W4312192474"],"abstract_inverted_index":{"Abstract":[0],"Recently,":[1],"Pasarkar":[2],"et":[3],"al.":[4],"(2023)":[5],"have":[6,46],"introduced":[7],"the":[8,32,61,79,82,105,165,179,185,212,243,252,258,287,299,325],"new":[9],"$${{\\,\\mathrm{\\texttt{TFNP}}\\,}}$$":[10],"<mml:math":[11,22,35,67,92,115,125,143,193,202,222,265,277,290],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[12,23,36,68,93,116,126,144,194,203,223,266,278,291],"<mml:mrow>":[13,24,37,69,94,117,127,146,151,154,195,204,225,226,232,267,279,292],"<mml:mspace/>":[14,16,25,27,38,40,70,72,95,97,147,149,155,157,227,229,233,235,268,270,280,282,293,295],"<mml:mi>TFNP</mml:mi>":[15],"</mml:mrow>":[17,28,41,73,98,119,129,150,153,158,197,206,230,231,236,271,283,296],"</mml:math>":[18,29,42,74,99,120,130,160,198,207,238,272,284,297],"subclass":[19],"called":[20],"$${{\\,\\mathrm{\\texttt{PLC}}\\,}}$$":[21,66,91,264],"<mml:mi>PLC</mml:mi>":[26,71,96,156,234,269],"that":[30,48,137,177,217,257,305,316],"contains":[31],"class":[33,288],"$${{\\,\\mathrm{\\texttt{PPP}}\\,}}$$":[34],"<mml:mi>PPP</mml:mi>":[39],";":[43],"they":[44],"also":[45,275],"proven":[47],"several":[49],"search":[50,303,311],"problems":[51,304],"related":[52],"to":[53,65],"extremal":[54],"combinatorial":[55],"principles":[56],"(e.g.,":[57],"Ramsey\u2019s":[58],"theorem":[59],"and":[60,113,188,319],"sunflower":[62],"lemma)":[63],"belong":[64],".":[75],"This":[76],"paper":[77],"discusses":[78],"complexity":[80],"of":[81,85,301],"three":[83],"generalizations":[84],"Constrained":[86,131,170],"Long":[87,110,132,171,208],"Choice":[88,111,133,172,209],",":[89,199],"a":[90,109,169,174,309],"-complete":[100],"problem.":[101],"We":[102,135,215,255],"first":[103],"discuss":[104,164],"parallel":[106],"variant:":[107,167],"Given":[108,168],"instance":[112],"$$\\varvec{m}$$":[114,124],"<mml:mi>m</mml:mi>":[118,128],"beginning":[121,181],"elements,":[122],"find":[123,200],"solutions.":[134],"show":[136,315],"this":[138,218],"variant":[139,219,250,260],"is":[140,220,247,261,298],"$${{\\,\\mathrm{\\texttt{FP}}\\,}}_{\\Vert":[141],"}^{{{\\,\\mathrm{\\texttt{PLC}}\\,}}}$$":[142],"<mml:msubsup>":[145],"<mml:mi>FP</mml:mi>":[148,228],"<mml:mo>\u2016</mml:mo>":[152],"</mml:msubsup>":[159],"-complete.":[161,239],"Next,":[162],"we":[163,241,314],"iterative":[166,249,318],"instance,":[173],"process":[175],"function":[176],"specifies":[178],"next":[180],"element":[182],"depending":[183],"on":[184],"current":[186],"solution,":[187],"an":[189,248],"iteration":[190],"parameter":[191],"$$\\varvec{T}$$":[192,201],"<mml:mi>T</mml:mi>":[196,205],"solutions":[210],"satisfying":[211],"suitable":[213],"conditions.":[214],"prove":[216,256],"$${{\\,\\mathrm{\\texttt{FP}}\\,}}^{{{\\,\\mathrm{\\texttt{PLC}}\\,}}}$$":[221],"<mml:msup>":[224],"</mml:msup>":[237],"Finally,":[240],"consider":[242],"inductive":[244,253,259,320],"variant,":[245],"which":[246],"with":[251],"principle.":[254],"not":[262],"only":[263],"-hard":[273],"but":[274],"$${{\\,\\mathrm{\\texttt{PLS}}\\,}}$$":[276,289],"<mml:mi>PLS</mml:mi>":[281,294],"-hard,":[285],"where":[286],"set":[300],"all":[302],"are":[306,322],"solvable":[307],"by":[308],"local":[310],"method.":[312],"Furthermore,":[313],"our":[317],"variants":[321],"closed":[323],"under":[324],"Turing":[326],"reduction.":[327]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}