{"id":"https://openalex.org/W7224094450","doi":"https://doi.org/10.5281/zenodo.23718907","title":"Two-sided disjunctions and the formal semi-supervised criterion of Blum\u2013Balcan: a counting lemma, two learners, and what remains open","display_name":"Two-sided disjunctions and the formal semi-supervised criterion of Blum\u2013Balcan: a counting lemma, two learners, and what remains open","publication_year":2026,"publication_date":"2026-10-28","ids":{"openalex":"https://openalex.org/W7224094450","doi":"https://doi.org/10.5281/zenodo.23718907"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23718907","doi":"https://doi.org/10.5281/zenodo.23718907","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23718907","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23718907","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5141292367","display_name":"Grisha Pochuev","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Pochuev, Grisha","raw_affiliation_strings":["Independent researcher"],"raw_orcid":"https://orcid.org/0009-0005-0078-0857","affiliations":[{"raw_affiliation_string":"Independent researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5141292367"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9990000128746033,"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.9990000128746033,"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":9.999999747378752e-05,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":9.999999747378752e-05,"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/counting-lemma","display_name":"counting lemma","score":0.9929999709129333},{"id":"https://openalex.org/keywords/label-complexity","display_name":"label complexity","score":0.5839999914169312},{"id":"https://openalex.org/keywords/unlabeled-data","display_name":"unlabeled data","score":0.8259999752044678},{"id":"https://openalex.org/keywords/elimination-rules","display_name":"elimination rules","score":0.4259999990463257}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6905999779701233},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.645799994468689},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5231000185012817},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.516700029373169},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5085999965667725},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.48579999804496765},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.37540000677108765},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3714999854564667},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.35740000009536743},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.3343999981880188},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.31949999928474426},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28380000591278076}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23718907","doi":"https://doi.org/10.5281/zenodo.23718907","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23718907","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23718908","doi":"https://doi.org/10.5281/zenodo.23718908","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23718908","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23718907","doi":"https://doi.org/10.5281/zenodo.23718907","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23718907","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7224100086","https://openalex.org/W7097840162","https://openalex.org/W2909563803","https://openalex.org/W7098047080","https://openalex.org/W4292933207","https://openalex.org/W7101081865","https://openalex.org/W7099681108","https://openalex.org/W2069735839","https://openalex.org/W7224091863","https://openalex.org/W1985520241"],"abstract_inverted_index":{"Blum":[0],"and":[1,31,55,61,98,136,178],"Balcan":[2],"(Open":[3],"Problems":[4],"in":[5,28,65],"Efficient":[6],"Semi-Supervised":[7],"PAC":[8],"Learning,":[9],"COLT":[10],"2007)":[11],"asked":[12],"for":[13,18,33,59,77],"an":[14,143],"efficient":[15],"semi-supervised":[16],"algorithm":[17],"two-sided":[19],"disjunctions":[20],"whose":[21],"number":[22],"of":[23,48,157],"labelled":[24,60],"examples":[25],"is":[26,110,117],"polynomial":[27],"log|CD,\u03c7(\u03b5)|,":[29],"1/\u03b5":[30],"1/\u03b4,":[32],"every":[34,78],"distribution":[35],"consistent":[36],"with":[37,142,155],"the":[38,42,52,66,87,95,114,129,132,138,148],"compatibility":[39],"notion.":[40],"Taking":[41],"class":[43],"to":[44,112],"be":[45],"all":[46],"pairs":[47],"monotone":[49],"disjunctions,":[50],"including":[51],"empty":[53,130],"disjunction,":[54],"using":[56],"one":[57],"\u03b5":[58],"unlabelled":[62,104,108,125],"error":[63],"as":[64],"formal":[67,115],"definition,":[68],"we":[69,151],"prove":[70],"a":[71,100,153,179],"hitting-set":[72,133],"lemma:":[73],"log2|CD,\u03c7(\u03b5)|":[74],"\u2265":[75],"\u230a\u03b5n\u230b":[76],"such":[79],"distribution.":[80],"Consequently,":[81],"classical":[82],"supervised":[83],"elimination":[84],"already":[85],"meets":[86],"stated":[88],"criterion.":[89],"A":[90],"second":[91,139],"counting":[92],"lemma":[93,134],"sharpens":[94],"label":[96],"bound":[97,140],"gives":[99],"stopping":[101],"rule":[102],"from":[103],"data.":[105],"Since":[106],"no":[107],"data":[109,126],"needed":[111],"classify,":[113],"criterion":[116],"satisfied":[118],"degenerately;":[119],"this":[120],"does":[121],"not":[122],"show":[123],"that":[124,169],"helps.":[127],"Without":[128],"disjunction":[131],"fails,":[135],"only":[137],"survives":[141],"extra":[144],"ln":[145],"n.":[146],"For":[147],"cover-based":[149],"strengthening":[150],"give":[152],"family":[154],"\u03b5-cover":[156],"size":[158],"4":[159],"on":[160],"which":[161],"elimination-type":[162],"rules":[163],"need":[164],"\u0398(n":[165],"log":[166],"min(n,1/\u03b5))":[167],"labels;":[168],"version":[170],"remains":[171],"open.":[172],"Files:":[173],"manuscript":[174],"(PDF),":[175],"LaTeX":[176],"source,":[177],"single":[180],"Python":[181],"3":[182],"verification":[183],"script":[184],"(standard":[185],"library":[186],"only).":[187],"Contact:":[188],"n_854@mail.ru":[189]},"counts_by_year":[],"updated_date":"2026-10-30T12:39:25.321706","created_date":"2026-10-29T00:00:00"}