{"id":"https://openalex.org/W4205925692","doi":"https://doi.org/10.2478/forma-2021-0014","title":"Algorithm NextFit for the Bin Packing Problem","display_name":"Algorithm NextFit for the Bin Packing Problem","publication_year":2021,"publication_date":"2021-09-01","ids":{"openalex":"https://openalex.org/W4205925692","doi":"https://doi.org/10.2478/forma-2021-0014"},"language":"en","primary_location":{"id":"doi:10.2478/forma-2021-0014","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2021-0014","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2021-0014","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://sciendo.com/pdf/10.2478/forma-2021-0014","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088069212","display_name":"Hiroshi Fujiwara","orcid":"https://orcid.org/0000-0002-9027-785X"},"institutions":[{"id":"https://openalex.org/I137975476","display_name":"Shinshu University","ror":"https://ror.org/0244rem06","country_code":"JP","type":"education","lineage":["https://openalex.org/I137975476"]},{"id":"https://openalex.org/I4210162928","display_name":"\u014ctani University","ror":"https://ror.org/05b7rex33","country_code":"JP","type":"education","lineage":["https://openalex.org/I4210162928"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiroshi Fujiwara","raw_affiliation_strings":["Shinshu University Nagano , Japan","Shinshu University Nagano, Japan","Intage Technosphere Inc. Tokyo, Japan","Hiroaki Yamamoto Shinshu University, Nagano, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shinshu University Nagano , Japan","institution_ids":["https://openalex.org/I137975476"]},{"raw_affiliation_string":"Shinshu University Nagano, Japan","institution_ids":["https://openalex.org/I137975476"]},{"raw_affiliation_string":"Intage Technosphere Inc. Tokyo, Japan","institution_ids":[]},{"raw_affiliation_string":"Hiroaki Yamamoto Shinshu University, Nagano, Japan","institution_ids":["https://openalex.org/I137975476","https://openalex.org/I4210162928"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110602217","display_name":"Ryota Adachi","orcid":null},"institutions":[{"id":"https://openalex.org/I137975476","display_name":"Shinshu University","ror":"https://ror.org/0244rem06","country_code":"JP","type":"education","lineage":["https://openalex.org/I137975476"]},{"id":"https://openalex.org/I4210162928","display_name":"\u014ctani University","ror":"https://ror.org/05b7rex33","country_code":"JP","type":"education","lineage":["https://openalex.org/I4210162928"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ryota Adachi","raw_affiliation_strings":["Intage Technosphere Inc. Tokyo , Japan","Shinshu University Nagano, Japan","Hiroaki Yamamoto Shinshu University, Nagano, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intage Technosphere Inc. Tokyo , Japan","institution_ids":[]},{"raw_affiliation_string":"Shinshu University Nagano, Japan","institution_ids":["https://openalex.org/I137975476"]},{"raw_affiliation_string":"Hiroaki Yamamoto Shinshu University, Nagano, Japan","institution_ids":["https://openalex.org/I137975476","https://openalex.org/I4210162928"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101561194","display_name":"Hiroaki Yamamoto","orcid":"https://orcid.org/0000-0002-6157-2489"},"institutions":[{"id":"https://openalex.org/I137975476","display_name":"Shinshu University","ror":"https://ror.org/0244rem06","country_code":"JP","type":"education","lineage":["https://openalex.org/I137975476"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiroaki Yamamoto","raw_affiliation_strings":["Shinshu University , Nagano , Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shinshu University , Nagano , Japan","institution_ids":["https://openalex.org/I137975476"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4095,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.6988751,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"29","issue":"3","first_page":"141","last_page":"151"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9934999942779541,"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/T11424","display_name":"Security and Verification in Computing","score":0.9934999942779541,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.984499990940094,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9793999791145325,"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/bin-packing-problem","display_name":"Bin packing problem","score":0.9208582639694214},{"id":"https://openalex.org/keywords/bin","display_name":"Bin","score":0.8493646383285522},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6830727458000183},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6655135154724121},{"id":"https://openalex.org/keywords/subsequence","display_name":"Subsequence","score":0.6493160724639893},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5200095772743225},{"id":"https://openalex.org/keywords/approximation-algorithm","display_name":"Approximation algorithm","score":0.5175958871841431},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5138025879859924},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4903984069824219},{"id":"https://openalex.org/keywords/best-bin-first","display_name":"Best bin first","score":0.47088465094566345},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.4172893464565277},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.40351569652557373},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.348507821559906},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3209553360939026},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.31951630115509033},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17850524187088013},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.12105801701545715},{"id":"https://openalex.org/keywords/nearest-neighbor-search","display_name":"Nearest neighbor search","score":0.08380499482154846}],"concepts":[{"id":"https://openalex.org/C87219788","wikidata":"https://www.wikidata.org/wiki/Q814581","display_name":"Bin packing problem","level":3,"score":0.9208582639694214},{"id":"https://openalex.org/C156273044","wikidata":"https://www.wikidata.org/wiki/Q4913766","display_name":"Bin","level":2,"score":0.8493646383285522},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6830727458000183},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6655135154724121},{"id":"https://openalex.org/C137877099","wikidata":"https://www.wikidata.org/wiki/Q1332977","display_name":"Subsequence","level":3,"score":0.6493160724639893},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5200095772743225},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.5175958871841431},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5138025879859924},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4903984069824219},{"id":"https://openalex.org/C161986146","wikidata":"https://www.wikidata.org/wiki/Q4896845","display_name":"Best bin first","level":3,"score":0.47088465094566345},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.4172893464565277},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.40351569652557373},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.348507821559906},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3209553360939026},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.31951630115509033},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17850524187088013},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.12105801701545715},{"id":"https://openalex.org/C116738811","wikidata":"https://www.wikidata.org/wiki/Q608751","display_name":"Nearest neighbor search","level":2,"score":0.08380499482154846},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.2478/forma-2021-0014","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2021-0014","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2021-0014","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:irdb.nii.ac.jp:00990:0007224375","is_oa":true,"landing_page_url":"https://soar-ir.repo.nii.ac.jp/records/2003322","pdf_url":"https://soar-ir.repo.nii.ac.jp/record/2003322/files/FormalizMath29-141.pdf","source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formalized Mathematics","raw_type":"journal article"},{"id":"pmh:oai:doaj.org/article:70315a8c74364600ab14d16d07eadaf9","is_oa":false,"landing_page_url":"https://doaj.org/article/70315a8c74364600ab14d16d07eadaf9","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formalized Mathematics, Vol 29, Iss 3, Pp 141-151 (2021)","raw_type":"article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/12391","is_oa":true,"landing_page_url":"http://hdl.handle.net/11320/12391","pdf_url":null,"source":{"id":"https://openalex.org/S4306400933","display_name":"The Repository of University in Bialystok (University in Bialystok)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210094198","host_organization_name":"University Clinical Hospital In Bialystok","host_organization_lineage":["https://openalex.org/I4210094198"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:soar-ir.repo.nii.ac.jp:02003322","is_oa":true,"landing_page_url":"http://hdl.handle.net/10091/0002003322","pdf_url":null,"source":{"id":"https://openalex.org/S4306402150","display_name":"SOAR (Shinshu University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I137975476","host_organization_name":"Shinshu University","host_organization_lineage":["https://openalex.org/I137975476"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"VoR"}],"best_oa_location":{"id":"doi:10.2478/forma-2021-0014","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2021-0014","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2021-0014","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7252112753","display_name":"New Development in the Design of Performance Guarantee Algorithms Powered by Mathematical Optimization","funder_award_id":"20K11689","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7948092969","display_name":null,"funder_award_id":"JP17K00183","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4205925692.pdf","grobid_xml":"https://content.openalex.org/works/W4205925692.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W272982077","https://openalex.org/W998914686","https://openalex.org/W1595545560","https://openalex.org/W2295728669","https://openalex.org/W2770430340","https://openalex.org/W4244921654","https://openalex.org/W4292027170"],"related_works":["https://openalex.org/W76601469","https://openalex.org/W4235035380","https://openalex.org/W2971368033","https://openalex.org/W1590563747","https://openalex.org/W2026961896","https://openalex.org/W2056716554","https://openalex.org/W4255148175","https://openalex.org/W4288260564","https://openalex.org/W3167861864","https://openalex.org/W2963371694"],"abstract_inverted_index":{"Summary":[0],".":[1],"The":[2,34,84,194],"bin":[3,53,108,174],"packing":[4,175],"problem":[5,12,176],"is":[6,21,36,54,69,147,181,196,224,234],"a":[7,22,182,199],"fundamental":[8],"and":[9,58,228,246],"important":[10],"optimization":[11],"in":[13,51,95,101,169],"theoretical":[14],"computer":[15],"science":[16],"[4],":[17],"[6].":[18],"An":[19,179],"instance":[20,180],"sequence":[23,97,183,207],"of":[24,28,49,61,103,140,153,184,205,215,220,231,249],"items,":[25],"each":[26,52,190,219],"being":[27],"positive":[29,185,209],"size":[30,48,230],"at":[31,55,65,191,225],"most":[32,56,192,226],"one.":[33,83,193],"task":[35,195],"to":[37,106,160,197,208],"place":[38,120,127],"all":[39,162],"the":[40,46,59,81,88,91,96,107,111,117,121,128,138,141,151,154,173,203,206,213,216,221,229,232,247,250],"items":[41,50],"into":[42,109,123,130],"bins":[43,62,143,156],"so":[44],"that":[45,63,124,137,157,188,201,212],"total":[47],"one":[57,67,227],"number":[60,139,152],"contain":[64,161],"least":[66],"item":[68,94,116,122,129],"minimum.":[70,235],"Approximation":[71],"algorithms":[72],"have":[73],"been":[74],"intensively":[75],"studied.":[76],"Algorithm":[77],"NextFit":[78,146],"would":[79],"be":[80,99],"simplest":[82],"algorithm":[85,112,145,239],"repeatedly":[86],"does":[87],"following:":[89],"If":[90],"first":[92],"unprocessed":[93],"can":[98],"placed,":[100],"terms":[102],"size,":[104],"additionally":[105],"which":[110],"has":[113],"placed":[114],"an":[115,131],"last":[118],"time,":[119],"bin;":[125],"otherwise":[126],"empty":[132],"bin.":[133],"Johnson":[134],"[5]":[135],"proved":[136],"resulting":[142],"by":[144],"less":[148],"than":[149],"twice":[150],"fewest":[155],"are":[158,189],"needed":[159],"items.":[163],"In":[164],"this":[165],"article,":[166],"we":[167],"formalize":[168,238],"Mizar":[170],"[1],":[171],"[2]":[172],"as":[177],"follows:":[178],"real":[186],"numbers":[187],"find":[198],"function":[200],"maps":[202],"indices":[204],"integers":[210],"such":[211],"sum":[214],"subsequence":[217],"for":[218],"inverse":[222],"images":[223],"image":[233],"We":[236],"then":[237],"NextFit,":[240],"its":[241,243],"feasibility,":[242],"approximation":[244,251],"guarantee,":[245],"tightness":[248],"guarantee.":[252]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}