TianFengZhiYu-CSDN博客

原创求解器Z3（未完，更新中）

正在学习求解器Z3，好多不懂的地方，资料也几乎没有。将自己的学习成果写出来，希望可以多交流

2013-10-17 18:09:15 4707 3

原创沙职模拟大赛

A. Lucky DivisionTime Limit : 4000/2000ms (Java/Other) Memory Limit : 524288/262144K (Java/Other)Total Submission(s) : 89 Accepted Submission(s) : 25Problem DescriptionPetya lo

2013-07-09 12:52:42 1239

原创 linux下shell学习

对于博主这样的小白，每次重装linux都是痛苦的，软件安装好麻烦啊！所以决定多多学习shell，把每次安装软件的步骤写成shell脚本，分享给大家。不定期更新。注意：脚本中的文件名是我下载的文件名，各位视情况修改。#ubuntu下常用软件安装#!/bin/shuid=$(id -u)if [ "$uid" != "0" ]then echo 请以ROOT身份运行 ex

2013-07-01 11:05:29 1355 3

原创 vbox下安装archlinux

博主linux小白一个，一直想试试archlinux，最近终于有时间了，一番努力之后成功了，写出来与大家分享。archlinux版本 2013.06.01.archlinux的优点就不说了，百度之流的都写得很详细了，我觉得最大的优点就是简洁，不过也太简洁了。。。连个图形界面的安装都没有。步入正题，这是我的参考文档。https://wiki.archlinux.org/index.p

2013-06-30 23:10:24 2444

原创动态规划学习笔记

只是笔记，提炼了很多。1、对象和特点：多阶段决策过程，动态包括状态和决策。2、无后效性（马尔科夫性）指系统从某阶段后的发展完全由本阶段所处的状态及其往后的决策决定，与系统以前的状态和决策无关。3、定期和不定期的多阶段决策过程。4、顺序：枚举、隐形枚举（在有效的条件下枚举）。逆序、会较方便。5、综合考虑直接效果、简介效果。6、状态转移方程。

2013-05-28 22:07:07 743

原创 2013西安交大ACM热身赛E题

DescriptionFJ is about to take his N (1 ≤ N ≤ 30000) cows to the annual"Farmer of the Year" competition. In this contest every farmer arranges his cows in a line and herds them past the judges

2013-05-12 22:25:27 892

原创 2013西安交大ACM热身赛D题

DescriptionBeer Lovers Club makes regular parties. They hate warm beer, but club’s refrigerator is too small to store enough beer for the whole company. So they decided to order a special super-

2013-05-12 22:08:35 964

原创 2013西安交大ACM校内赛B题

Description学校的网速一直很慢，尤其是东九还搞了一个什么奇怪的登录验证软件，广大同学表示非常………不过，这次，某只大学霸因为GPA高达99.9分，所以获得了一次可以重新给校园网络布线的机会，看看能不能解决这个问题。学校的网络布线规则非常简单。对于学校的N个栋建筑，在任意两个建筑Bi,Bj之间布置一条网线的代价为Vij。学校领导要求，任意两栋建筑之间必须是联通的，

2013-05-12 21:57:30 936

原创 2013西安交大ACM校内赛G题

Description河蟹在沙坡村男子职业技术学院上学期间勤工俭学，在校门开了个特色烧烤摊。他摆摊已经有n天，第i天的收益是a[i]（若小于0表示赔钱）。河蟹的舍友十分关心他的收入情况，经常来询问他最近的收益情况怎么样。河蟹总是会回答两个数字X Y。这句话表示在以当前这一天为结尾的连续Y天中，河蟹一共挣了X元。为了夸大一下自己的收益，河蟹总是是回答中的X尽量大，当有多种满足X最大的回答时，

2013-05-12 21:54:04 1083

原创 2013西安交大ACM校内赛C题

DescriptionZZ和GG有很多大事要决定。在他们实在说服不了对方的时候，他们决定猜拳决定胜负。由于石头剪刀布在设计之初存在巨大的缺陷，有极大的可能出现平手！（事实上，某一天，ZZ和GG猜拳猜了一个下午）。在中科院的领导的帮助下，ZZ和GG开始使用“二维矢量夹角大作战”来决定胜负。 “二维矢量夹角大作战”是个很简单的游戏，两个人分别写下两个二维矢量(Zi,Zj)和（G

2013-05-12 21:45:29 1086

原创 2013西安交大ACM校内赛A题

Description众所周知，StRcPy()队以人品著称。尤其是他们那神乎其神的随机答案大法一直为坊间津津乐道。这是为什么呢，因为StRcPy()队员行事处处都本着Rp第一的原则。当年在选队长这件大事上更是如此，他们必须让Rp最大的人来当队长！于是他们经过数天的研究，发现一个人的人品和他的ID有着如下关系。若x的id为字符串s，则asc(c)表示着字符c在ASCII编码中

2013-05-12 21:34:39 1332

原创 ACM学习_数学基础之数论

2013-05-03 18:23:15 774

原创 windows下github傻瓜式使用心得

新手，傻瓜教程。首先，安装不用说了吧，注册大家也都会。从建立开始，在网页上点下面那个按钮填个名字就OK了。然后是本机，登陆，选好路径。我建议把路径直接选到工作空间，会方便许多。然后很关键，以eclipse为例，先创建一个空白的项目，然后从系统的资源管理器中把文件夹的名字随便改成其他的。接着在github的客户端中选择建立的项目clone到本地，由于有一些其他的东

2013-03-31 15:48:50 922

原创 Android 界面心得

初学者，有错欢迎指点。最近在做一个Android开发小项目，小有体会，写下来与大家分享。如果大家是看书学习Android的话，都知道Android的各种布局，对象。可是光凭借那些是远远不能做出各种好看的界面的。经过多番搜索，终于明白了其中的奥妙。首先，各种布局是可以嵌套的，这样，就可以实现许多复杂的布局，就如同tablelayout中添加tablerow一样，相对布局中

2013-03-31 15:22:07 871

原创关于魔方矩阵的心得

最近碰到了个关于魔方矩阵的问题，有些心得与大家分享。关于那些什么历史的东西这里就不在赘述了。魔方矩阵，顾名思义，是一个二维方阵，n行n列。并且每一行每一列的所有数字之和都是相等的。同时主副对角线的数字和也是相等的。关于如何构造魔方矩阵有许多方法，各种情况下又有不同的简洁方法。我先说一个笔者自己想出的一个通用的方法。首先，对于n*n个数，要排成行、列、对角线都相等

2013-03-15 21:17:00 3641

原创自己写的一个Android小程序

自己写来练手的小程序。MainActivity.javapackage com.example.mimashengchengqi;import android.os.Bundle;import android.app.Activity;import android.text.Editable;import android.view.Menu;import android.vie

2013-01-22 21:37:26 1384

原创 liunx学习日记

先是linux的一起各种历史。说白了就是minix被一位牛逼的大学生看着不爽，然后他依照着写了一个操作系统，并且开源的发布到了网上。从此有了linux。 linux有许多特点，首先完全兼容unix。开放性，多用户，多任务，良好的用户界面。对于良好的用户界面，linux向用户提供了X window，个人觉得有点像Android的启动器，换句话说有好多种桌面可以选择，甚至自己写个桌面。还有设

2013-01-20 10:34:37 549

原创平衡二叉树的数组表示算法

博主是学生，水平有限，多多包涵。之前学了平衡二叉树，想用数组表示平衡二叉树，但发现算法和用指针有很大不同，所以拿出来分享#include #include #include#include#define max 100#define NULL 0#define LH +1#define EH 0#define RH -1#define TRUE 1#define FA

2012-12-20 15:38:00 1261

无尽风宇