So, to make others know about their API, they are doing a challenge. The best application developed wins a Google TV and an iPad 2.

As I want a tabled so bad, I'm developing a version of Kactoos for desktop called KaQToos.

If you want to check the project out, take a look at github's KaQToos project website.

Parsing C++ is very hard and using tools like ctags works well for C but not so much for C++.
LLVM/Clang is a compiler architecture supported by Apple, Google, Adobe and others that seeks to become a serious alternative to GCC. The project started just a few years ago but it already provides a high quality C and Objective C compiler that performs better than GCC in several benchmarks. The C++ support is still not complete but good to compile boost. Clang is not just a compiler, it also has includes great tools for code analysis. Clang is BSD licensed which enables close interaction with third part applications without licensing issues.

Ok, so let's merge all these things. To accomplish that we need 3 Emacs extensions:

• auto-complete-mode
• yasnippet
• auto-complete-clang

auto-complete-mode

auto-complete-mode is an awesome extension for Emacs. It provides an intelligent auto-completion. To install, just follow these steps:

1. Download it at http://cx4a.org/software/auto-complete/
2. Copy all .el to ~/.emacs.d or other personal folder that you keep your Emacs extensions
3. Add the following code to your ~/.emacs:

   (require 'auto-complete-config)
   (add-to-list 'ac-dictionary-directories "~/.emacs.d/ac-dict")

   Note: change the ac-dictionary-directories as specified in step 2.

yasnippet

yasnippet is a template system for Emacs. Installation process:

1. Download the yasnippet-bundle at http://code.google.com/p/yasnippet/
2. Uncompress it at ~/.emacs.d or other personal folder that you keep your Emacs extensions
3. Add the following code to your ~/.emacs:

   (require 'yasnippet-bundle)

auto-complete-clang

auto-complete-clang unites the power of auto-complete, clang and yasnippet.

1. Download the .el file at https://github.com/brianjcj/auto-complete-clang
2. Copy it at ~/.emacs.d or other personal folder that you keep your Emacs extensions
3. Add the following code to your ~/.emacs:

(require 'auto-complete-clang)

4. Since auto-complete-clang calls clang to every auto-complete command, we need to trigger it with some key. In my example here I'm using C-Tab

(setq ac-auto-start nil)
(setq ac-quick-help-delay 0.5)
(define-key ac-mode-map  [(control tab)] 'auto-complete)

5. Setting some properties:

(defun my-ac-config ()
(setq ac-clang-flags (split-string "-I/path/to/headers"))
(setq-default ac-sources '(ac-source-abbrev ac-source-dictionary ac-source-words-in-same-mode-buffers))
(add-hook 'emacs-lisp-mode-hook 'ac-emacs-lisp-mode-setup)
(add-hook 'c-mode-common-hook 'ac-cc-mode-setup)
(add-hook 'ruby-mode-hook 'ac-ruby-mode-setup)
(add-hook 'css-mode-hook 'ac-css-mode-setup)
(add-hook 'auto-complete-mode-hook 'ac-common-setup)
(global-auto-complete-mode t))
(defun my-ac-cc-mode-setup ()
(setq ac-sources (append '(ac-source-clang ac-source-yasnippet) ac-sources)))
(add-hook 'c-mode-common-hook 'my-ac-cc-mode-setup)
(my-ac-config)

There is basically one important thing here, the ac-clang-flags. You must pass all your include paths in order to clang parses everything correctly. Even the stdc++ headers. For example:

(setq ac-clang-flags (split-string "-I/usr/include/c++/4.5 -I/usr/include -I/usr/local/include -I/usr/local/qt4/include -I/usr/local/qt4/include/QtCore -I/usr/local/qt4/include/QtGui"))

6. Since my background color is black, I had to change the ac-cursor-color in auto-complete.el. To do that find the first occurrence of ac-cursor-color and change nil to the desired color. For example:

(defvar ac-cursor-color "blanched almond"
"Old cursor color.")

Troubleshoot

If you get some error with bits/c++config.h in *clang error* buffer, like:
fatal error: 'bits/c++config.h' file not found
You might need to create a symbolic link from the machine hardware name(i686, etc) c++ bits includes to the c++ bits:
# ln -s /usr/include/c++/4.5/`uname -m`-linux-gnu/bits/* /usr/include/c++/4.5/bits

To inspire you, here is my .emacs file:

; auto-complete-mode
; --------------
(require 'auto-complete-config)
(add-to-list 'ac-dictionary-directories "~/Dropbox/elisp/ac-dict")
 
; yasnippet
; --------------
(require 'yasnippet-bundle)
 
; auto-complete-clang
; --------------
(require 'auto-complete-clang)
 
(setq ac-auto-start nil)
(setq ac-quick-help-delay 0.5)
;; (ac-set-trigger-key "TAB")
(define-key ac-mode-map  [(control tab)] 'auto-complete)
(defun my-ac-config ()
  (setq ac-clang-flags (split-string "-I/usr/include/c++/4.5 -I/usr/include -I/usr/local/include -I/usr/local/kdchart4/include -I/usr/local/rog/include -I/usr/local/qt4/include -I/usr/local/qt4/include/QtCore -I/usr/local/qt4/include/QtGui"))
  (setq-default ac-sources '(ac-source-abbrev ac-source-dictionary ac-source-words-in-same-mode-buffers))
  (add-hook 'emacs-lisp-mode-hook 'ac-emacs-lisp-mode-setup)
  (add-hook 'c-mode-common-hook 'ac-cc-mode-setup)
  (add-hook 'ruby-mode-hook 'ac-ruby-mode-setup)
  (add-hook 'css-mode-hook 'ac-css-mode-setup)
  (add-hook 'auto-complete-mode-hook 'ac-common-setup)
  (global-auto-complete-mode t))
(defun my-ac-cc-mode-setup ()
  (setq ac-sources (append '(ac-source-clang ac-source-yasnippet) ac-sources)))
(add-hook 'c-mode-common-hook 'my-ac-cc-mode-setup)
;; ac-source-gtags
(my-ac-config)

Working with Qt 1

Working with Qt 2

It also works with the C++ Standard Library

That's it.

Basicamente é o seguinte:

• Se o número é par, então divida por dois.
• Se o número é ímpar, então multiplique por três e some por um.
• $f(n) = \begin{cases} n/2 &\mbox{se } n \equiv 0 \pmod{2}\\ 3n+1 & \mbox{se } n\equiv 1 \pmod{2} \end{cases}$

Agora que temos a função definida, vamos realizar essa operação repetidamente, começando com um inteiro positivo e depois usando o resultado em cada passo:

$a_i = \begin{cases}n & \mbox{para } i = 0 \\ f(a_{i-1}) & \mbox{para } i > 0. \end{cases}$

O interessante é que essa seqüência parece sempre resultar em $a_i = 1$.

Programando

O desafio enunciado no UVa Online Judge pede para se contar o maior número de m-cíclos em um determinado intervalo de inteiros n, m.

Como eu gosto de coisas simples, fiz um algoritmo em C bem simples. Não recomendo algoritmo complexos.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

#include <stdio.h>
 
int collatz(int n) {
	int i = 1;
	while(n > 1) {
		if((n % 2) != 0)
			n = (3*n) + 1;
		else
			n = n/2;
		++i;
	}
	return i;
}
 
int main (int argc, char const *argv[])
{
	int i, j;
	while(scanf("%d %d", &i, &j) == 2) {
		int i2, j2, k;
		int max = 0;
 
		if (j < i) {
			i2 = j;
			j2 = i;
		} else {
			i2 = i;
			j2 = j;
		}
 
		for (k = i2; k <= j2; ++k) {
			int atual = collatz(k);
			if (max < atual) {
				max = atual;
			}
		}
 
		printf("%d %d %d\n", i, j, max);
	}
	return 0;
}

ou pelo pastebin

Testando as seguintes entradas
1 10
100 200
201 210
900 1000
1 999999
1000 900

temos
1 10 20
100 200 125
201 210 89
900 1000 174
1 999999 476
1000 900 174

Parece tudo certo!

Agora fica de exercício descobrir a complexidade desse algoritmo.

Agora estou trabalhando no LAT-UNIFEI, Laboratório de Alta Tensão da Universidade Federal de Itajubá.

Novamente estou envolvido no mundo dos embarcados. Aqui estamos criando um dispositivo que detecta erros em transmissão de energia. E não é para menos que sem a matemática tudo isso seria impossível. Fazemos forte uso de Análise de curvas e inteligência artificial.

Em breve postarei coisas interessantes sobre computação e matemática.