自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

原创 pytorch入门(3)

语言模型 lstm import torchtext from torchtext.vocab import Vectors import torch import numpy as np import random BATCH_SIZE = 32 EMBEDDING_SIZE = 100 MAX...

2020-05-23 13:49:02 15 0

原创 pytorch入门(2)

fizzbuzz游戏 3倍数fizz 5倍数buzz 15倍数fizzbuzz。其余数字输出本身 1 2 fizz 4 buzz fizz 7 8 fizz buzz 11 fizz 13 14 fizzbuzz def fizz_buzz_encode(i): if i %15 ==...

2020-05-20 17:05:00 25 0

原创 pytorch入门(1)

import torch import numpy as np N, D_in, H, D_out = 64,1000,100,10 x = torch.randn(N,D_in) y = torch.randn(N,D_out) w1 = torch.randn(D_in, H,requi...

2020-05-20 00:50:29 46 0

原创 Learning Local Search Heuristics for Boolean Satisfiability 2020-04-30

Learning Local Search Heuristics for Boolean Satisfiability Abstract GNN (select variable) + local search algorithm. RL,初始X,GNN结合sofetmax作为policy 函数,...

2020-05-17 03:26:00 12 0

原创 LEARNING A SAT SOLVER FROM SINGLE-BIT SUPERVISION 2020-05-01

LEARNING A SAT SOLVER FROM SINGLE-BIT SUPERVISION Abstract NeuroSAT : a classifier to predict satisfiability of a propositional formula train NN ,2* LS...

2020-05-17 03:25:13 86 0

原创 NLocalSAT: Boosting Local Search with Solution Prediction 2020-05-02

NLocalSAT: Boosting Local Search with Solution Prediction Abstract NLocalSAT :address stochastic local search (SLS) 随机初始化的问题 NLocalSAT combines SLS ...

2020-05-17 03:24:20 63 0

原创 Guiding High-Performance SAT Solvers with Unsat-Core Predictions 2020-05-03

Guiding High-Performance SAT Solvers with Unsat-Core Predictions Abstract NeuroSAT is a method to improve CDCL solvers with predictions of unsat-core...

2020-05-17 03:23:27 73 0

原创 PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers2020-05-04

PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers Abstract it is not clear how the search strategy in the learned models a...

2020-05-17 03:22:36 36 0

原创 Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search 2020-05-05

Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search 图上常见np问题 Abstract estimate the likelihood, for each vertex in a...

2020-05-17 03:21:42 20 0

原创 Learning Combinatorial Optimization Algorithms over Graphs 2020-05-06

Learning Combinatorial Optimization Algorithms over Graphs Abstract 解决NP-hard问题通常需要大量的专业知识和反复试验, learn algorithm to automate this challenging, tediou...

2020-05-17 03:20:24 18 0

原创 NEURAL COMBINATORIAL OPTIMIZATION WITH REINFORCEMENT LEARNING 2020-05-07

NEURAL COMBINATORIAL OPTIMIZATION WITH REINFORCEMENT LEARNING Abstract(借用pointer network用 policy gradient 优化,) given a set of city coordinates, predi...

2020-05-17 03:18:59 94 0

原创 ATTENTION, LEARN TO SOLVE ROUTING PROBLEMS 2020-05-09

ATTENTION, LEARN TO SOLVE ROUTING PROBLEMS Abstract 问题描述 车辆路径问题(Vehicle Routing Problem, VRP), 车辆路线问题最早是由Dantzig和Ramser于1959年首次提出,它是指一定数量的客户,各自有不同数量...

2020-05-17 03:18:16 80 0

原创 On Learning Combinatorial Patterns to Assist Large-Scale Airline Crew Pairing Optimization 2020-0...

On Learning Combinatorial Patterns to Assist Large-Scale Airline Crew Pairing Optimization Abstract CPO :: 设计 legal flight sequence (crew pairings),以...

2020-05-17 03:17:09 29 0

原创 Attention is all you need 2020-05-15

Attention is all you need Abstract Transformer : 无recurrence和convolutions,只基于attention Introduction Recurrent models 是seq2seq model,h_t = f (positi...

2020-05-17 03:14:05 43 0

原创 sgu 273Game Po (区间dp)

题意:4种颜色,两个混合可以组成另一种,给出所有组合以及组合后的结果,给一串颜色,任意位置合并最后合并成一个颜色的所有可能性tip:dp[I][j][k]表示从I到j是否可以变成第k个颜色,注意可能有同样两种颜色组合,但形成不一样的颜色,所以我用了前向星把他们连起来,而且从I到j形成的颜色也可能是...

2017-09-27 16:56:42 236 0

原创 判断线段相交并求交点

const double precision = 1e-6; const double inf = (1<<30); const int maxn = 1e6+10; int n; struct Tpoint{ double x; double y; Tpoin...

2017-09-25 21:28:45 454 0

原创 sgu-264. Travel 稳定婚姻问题

题意:男女配对,最后没有一对男女对对方的喜欢程度都高于现在的配偶tip:感觉和二分图差不多嘛。所有男的放队列 一个个出来, 先找最喜欢的,要是她单身就结婚 不单身就问她要不要私奔 私奔了原来配的就又单身 放入队列#include <cstdio> #include <io...

2017-09-22 01:08:01 358 0

原创 sgu265Wizards(计算几何)

题意:一个空间直角坐标系内,对一个点有三种操作: 1.平移(x,y,z)⇒(x+a,y+b,z+c); 2.缩放(x,y,z)⇒(ax,by,cz); 3.绕一个向量(x,y,z)顺时针旋转α角(角度制)。 对空间内的m个点给出n个操作,求每个点在操作后的坐标。tip:每次操作在之前的基础上左...

2017-09-22 00:56:33 271 0

原创 sgu258 Almost Lucky Numbers (数位dp)

题意:定义一个具有2n位的正整数,其前n位之和与后n位之和相等,则为lucky数。给定一个区间l,r,问有多少个正数可以通过修改某一位数从而变成lucky数?不能含前导0。tip:定义dp[i][j][p][q]表示前I位和为j其中数位上最大值是p 最小值是q的方案数。。 我们先把整个区间分开,...

2017-09-18 11:23:57 433 0

原创 SGU 271 Book Pile(deque)

题意:一开始桌子上从上到下放着N本书(从上往下输入) M组操作: 1.将前K本书翻转,2.在头上加一本书。最后输出书的顺序。(从上往下输出)tip:看起来像splay==线性做法是用deque 上面k本维护一个。。下面的一次往上添加,每次遇到add先加到上面的deque里,如果超过了k本,拿...

2017-09-14 11:34:56 182 0

原创 sgu392Cyclic Troubles

题意:n*m矩阵,每个点固定可以往左往右往上或往下走,每个点有个字母, q个循环问会不会出现出现给定的串,其中(s)num表示s串循环了多少次tip:预处理每个点往后走1,2,4,7,16。。。步走到哪,,类似倍增的思想,(询问总长度就1e9,说明只有往后走2^31就够了)void get_Ha...

2017-09-09 16:50:36 137 0

原创 sgu 237Galaxy X: Episode I - Masters of Mind (dp)

题意:给你一个包含’‘、’?’、’!’、’a’~’z’的字符串,其中’‘可以被任意字符串替换(包括空串),’?’必须恰好被一个字符替换,’!’必须恰好被三个字符替换。要求按规则替换后原串要变成一个回文串且长度要求最小;若长度相同则要求字典序最小。 tip:第一次做的时候按照dp[i][j]表示前I...

2017-09-03 10:56:59 184 0

原创 sgu236Greedy Path(最优比例路径)

题意:给出一个有向图,每条边有一个权值和时间花费。如果图中无环,输出0,如果有环,找出一个最大的环,最大的意思是环上的权和 / 时间和 最大。tip:最优比例的题一般二分答案,把题目就变为询问是否存在一个环使得Σcost/Σtime>=k 整理有: Σ(k∗time[v]−cost[v...

2017-08-31 19:15:09 199 0

原创 ural1223 鹰蛋(dp优化)

题意:有一堆共 M 个鹰蛋,一位教授想研究这些鹰蛋的坚硬度 E。他是通过不断 从一幢 N 层的楼上向下扔鹰蛋来确定 E 的。当鹰蛋从第 E 层楼及以下楼层落下 时是不会碎的,但从第(E+1)层楼及以上楼层向下落时会摔碎。如果鹰蛋未摔 碎,还可以继续使用;但如果鹰蛋全碎了却仍未确定E,这显然是一个失...

2017-08-31 01:21:43 268 0

原创 zoj2318 getout(计算几何)

http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=1318题意:你是一个圆,二维坐标中有很多其他n个圆,给出n个圆心及半径,再给你自己的圆心及半径,问这个圆能不能逃出这n个圆的包围。tip:好神奇的题。。首先考虑把自己这个圆变成点...

2017-08-31 01:07:14 164 0

原创 SGU235The Queen(BFS)

题意:一个n∗n的棋盘,每个位置上可以放黑子,白子,皇后(有且仅有一个)或不放。问皇后走m步后能走到多少个不同的格子。皇后可以走上下左右斜任意长度只要没遇到W,遇到B后会停下,B不在存在。tip:bfs。。首先我们得知道假如p步可以到的格子,那么第p+2k(k≥1) 步都可以到,因为可以来回走...

2017-08-26 00:02:19 173 0

原创 sgu224Little Queens 225. Little Knights

题意:n*n(n<=10)的棋盘,求出放置m(m<=n*n)个皇后的方案数。tip:状态压缩+位运算 一行一行dfs dfs(当前行号,列状态(哪个可以选可以不选),左上来的(哪个可以选可以不选),右上来的(哪个可以选可以不选),已放置棋子数)#include <cstdio...

2017-08-25 11:26:54 180 0

原创 sgu226. Colored graph

题意:给你一个n(n<=200)个点,m(m<=n*n)的有向图,然后每条边都有一个颜色,然后要求求出1->n的一条最短路径,满足相邻的两条边不能是同一种颜色。输出最短路径长度。tip:bfs vis多加一维来的颜色。。#include <cstdio> #inclu...

2017-08-25 11:06:34 150 0

原创 sgu230(拓扑排序) 231

题意:n*n(n<=10)的棋盘,求出放置m(m<=n*n)个皇后的方案数。tip:状态压缩+位运算 ,dfs一行一行来 DFS(当前行号 ,列状态,因为左上来的 当前行哪个格子能不能放, 右上来的 当前行哪个格子能不能放,已放置的棋子数)#include <c...

2017-08-25 11:00:54 148 0

原创 sgu223Little Kings(状压)

题意:两个车互不攻击,当且仅当它们不在同一行或同一列上。输入整数n和k,你需要求出在n*n的国际象棋棋盘上放k个互不攻击的车有多少种方法。 tip:你一个N*N的棋盘,要你在其中放入K个国王,每个国王会攻击到以它为中心的九宫格的相邻8个位置,求方案总数. 用F [ i ] [ j ] [ k ]...

2017-08-25 10:49:17 145 0

原创 sgu222 Little Rooks

题意:两个车互不攻击,当且仅当它们不在同一行或同一列上。输入整数n和k,你需要求出在n*n的国际象棋棋盘上放k个互不攻击的车有多少种方法。 tip:组合数学 Cnk*cnk*k!(n行n列选k个)#include <cstdio> #include <iostream> ...

2017-08-25 10:43:16 147 0

原创 sgu220Little Bishops(dp)

题意:在n*n的棋盘上放K个象,使得两两之间不互相攻击。有多少种放法?tip:棋盘按照(i+j)的奇偶黑白染色,则在黑色格子中放的象不可能攻击到白色格子,分开考虑并将棋盘翻转45度。(旋转后就是一行一列只能放一个) f[i][j]=f[i-1][j]+f[i-1][j-1]*(a[i]-(j-1...

2017-08-25 10:32:45 146 0

原创 sgu234 Black-White King Strikes Back(二分图 输出方案)

题意:n*m的0,1矩阵(n,m<=200),要你在1的地方放士兵,不能现 两个士兵相邻,问最多可以放多少个?tip:根据i+j的奇偶性黑白染色构建二分图,然后跑一个最大匹配,然后ans=1的个数-最大匹配数,构建图的方案时,先把没匹配的都选上,那么和这些有边的就不能选,和这些不能选有边的...

2017-08-25 09:55:02 192 0

原创 sgu233The Greatest Angle(计算几何)

题意:给出一个圆O和严格在圆内的两点A,B,在圆上求一点C使得∠ACB最大。tip:A,B,C所构成的外接圆与圆O相切时最大。因为AB所在的圆,无论半径多大,所对应的圆周角是固定的,且半径越大角度越小,所有在相切时最好。 解方程: 设小圆的圆心为p,两圆相切: OP = R-r = R-sq...

2017-08-25 09:36:17 120 0

原创 sgu232(最小表示法)

题意:给出n,m,以及长度为n的原字符串S[0,n-1]。根据S构造出新的n个字符串A[n],A[i][j]=S[(i+j*m)%n]。求A中最大的串。tip:尝试nm之后 可以发现a每n次开始循环(mod后和之前的循环节是同样的几个数,可能不到n),每次由于是取mod 所以也是有循环节的,那么...

2017-08-24 09:54:51 121 0

原创 欧拉回路

题意: 这道题是要求我们求出一条欧拉路,所以我们要首先判断图中是否有欧拉路。对于一个无向图,如果它每个点的度都是偶数,那么它存在一条欧拉回路;如果有且仅有2个点的度为奇数,那么它存在一条欧拉路;如果超过2个点的度为奇数,那么它就不存在欧拉路了。 tip: 由于题目中说数据保证至少有1个解,所以一定...

2017-08-16 23:03:24 116 0

原创 计算几何模版

#include <cstdio> #include <cstring> #include <algorithm> #include <iostream> #include <cmath> using namespace std; con...

2017-08-16 22:02:43 101 0

原创 spoj4487(splay)

Splay不加反转(Push_down)版本,求区间最大值,维护每个点的子树的整个sum和 中间(内部)最大值:msum,lsum(左侧连续最大值)rsum右侧连续最大值,和线段树基本一致)/* Splay不加反转(Push_down)版本,求区间最大值,维护每个点的子树的整个sum和 中间(内...

2017-08-10 11:11:40 147 0

原创 #con5多校联盟 (李主席与阶乘)

http://oj.xjtuacm.com/problem/11/ 李主席对10000内的阶乘能倒背如流,有一天学妹请教李主席一个问题,需要对这样一个式子进行化简: a[i]!乘积/b[i]! 化成c 1 !^e1*c2!^e2… t 使得c1最大情况下e1最大, 再使...

2017-08-04 15:41:50 203 0

原创 2017 Xian ACM Summer Training Warm-up Exercise 3

B题Bigger is Better :https://icpcarchive.ecs.baylor.edu/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=1783题意:用有限火柴棍拼...

2017-07-14 19:57:41 948 0

提示
确定要删除当前文章?
取消 删除