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
The Language of Interfaces
destraynor
158
25k
No one is an island. Learnings from fostering a developers community.
thoeni
21
3.4k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
248
1.3M
Adopting Sorbet at Scale
ufuk
77
9.5k
Measuring & Analyzing Core Web Vitals
bluesmoon
7
530
Writing Fast Ruby
sferik
628
62k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
31
1.3k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
53
2.9k
Music & Morning Musume
bryan
46
6.7k
Balancing Empowerment & Direction
lara
1
500
Build your cross-platform service in a week with App Engine
jlugia
231
18k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
29
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 ➢