Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
PuLP入門
Search
MoSooN
January 15, 2025
1
860
PuLP入門
入門ね
MoSooN
January 15, 2025
Tweet
Share
More Decks by MoSooN
See All by MoSooN
CodeChef入門
mosson
0
84
もすーんバチャの基礎
mosson
1
360
Featured
See All Featured
4 Signs Your Business is Dying
shpigford
184
22k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
17
950
It's Worth the Effort
3n
185
28k
Designing Experiences People Love
moore
142
24k
Large-scale JavaScript Application Architecture
addyosmani
512
110k
Sharpening the Axe: The Primacy of Toolmaking
bcantrill
44
2.4k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
jcasabona
32
2.3k
Product Roadmaps are Hard
iamctodd
PRO
54
11k
We Have a Design System, Now What?
morganepeng
53
7.7k
RailsConf 2023
tenderlove
30
1.1k
Mobile First: as difficult as doing things right
swwweet
223
9.7k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
46
9.6k
Transcript
PuLP AC~ 2025.01.15 LT
▪ ➢@Mo_SoooN (X account) ▪ ➢ 4 ➢ 2 ✓
OS CTFer ▪ ➢AtCoder : Rating: 2024) ➢Codeforces : ➢Codechef : ▪ ➢ ✓ (20 years↑ ➢
▪ ABC AC 2400 ➢Q. ➢A. Python AC H -
Security Camera 2
AC 1. PuLP 2. 1. 2. 3. 4. #56189944 -
AtCoder Beginner Contest 224 5. solver log Chat GPT Gemini
▪ MIP) ▪ ➢Python PuLP+CBC ( ): 𝑧 = 𝑐₁𝑥₁
+ 𝑐₂𝑥₂ + … + 𝑐ₙ𝑥ₙ : 𝑎₁₁𝑥₁ + 𝑎₁₂𝑥₂ + … + 𝑎₁ₙ𝑥ₙ ≤ 𝑏₁ 𝑎₂₁𝑥₁ + 𝑎₂₂𝑥₂ + … + 𝑎₂ₙ𝑥ₙ ≤ 𝑏₂ … 𝑎ₘ₁𝑥₁ + 𝑎ₘ₂𝑥₂ + … + 𝑎ₘₙ𝑥ₙ ≤ 𝑏ₘ : - : 𝑥₁, 𝑥₂, … ∈ ℤ - : 𝑥₃, 𝑥₄, … ∈ ℝ 0 ≤ 𝑥𝑖 , 𝑥𝑖 ≤ 1, 𝑥𝑖 ∈ ℤ 0 or 1 MIP
PuLP CBC ▪ (Modeler) (Solver) ▪ AtCoder 2023 ➢ ……
PuLP CBC CBC (Coin-or branch and cut) GLPK (GNU Linear Programming Kit) CPLEX (IBM ILOG CPLEX Optimizer) Gurobi CBC CBC User Guide ▪ ➢ (LP) (IP) (MIP) ▪ ➢ ▪ Python += [ ] Optimization with PuLP — PuLP 2.9.0 documentation ▪ ➢ C++ ▪ ➢ ▪ PuLP Scipy HiGHS AtCoder #47049840 - 2023 AtCoder Beginner Contest 326
▪ ➢ (LP) ✓ ➢ (MIP) ▪ 1 ▪ LP
➢ 0-1 https://qiita.com/SaitoTsutomu/items/7d257a855433e6917faf 1 LP 1 LP LP
▪ MIP) ➢1 PuLP CBC ▪ ➢ ▪ Rated ABC
364-E PuLP+CBC ➢E - Maximum Glutton #56063182 - JPRS 2024#2 AtCoder Beginner Contest 364
▪ MC Digital ➢MC Digital Tech Blog ➢ ▪ PuLP
TellPro ➢@ruku ➢